前束范式

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第677页（248字）

一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX₁)(QX₂)…(QX_n)B。其中的(QX₁)(QX₂)…(QX_n)B称为前束词，B称为基式或母式。(QX_t)或者是(x₁)或者是(x₁)，X₁=(i=1，2，…n)各不相同，B中不出现量词。如：“(x)(F(x)VG(x))”、“(x)(y)(z)(R(x、y、z)→S(x、y、z、w))”都是前束范式。