前束范式 prenex normal form 一阶谓词演算中公式的一种范式。一切量词都非否定地置于公式前方,且其辖域都延伸至公式的末端的公式。亦即:E=(QX1)(QX2)……(QXn)B0(QXi)或者是(ᗄxi)(读为‘所有xi’)或者是(∃xi)(读为‘有一个xi’),xi(i=1,…n)皆不同,B中无量词出现。(QX1)(QX2)…(QXn)称为前束词,B称为基式。例如: “(ᗄx)(F(x)∨G(x))” “(ᗄx)(ᗄy)(∃z)(R(x,y,z)→S(x,y,z,w))”都是前束范式。 |