一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基式或母式。(QXt)或者是(x1)或者是(x1)，X1=(i=1，2，…n)各不相同，B中不出现量词。如：“(x)(F(x)VG(x))”、“(x)(y)(z)(R(x、y、z)→S(x、y、z、w))”都是前束范式。
重言式(语言)：也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用..
析取范式(语言)：支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为..
并集(语言)：集合的基本运算之一。设给定集合A和B，如有集合C，C=｛X：X∈A或者X∈B｝，则称C为A与B的并集，记为C=AUB。显然C元素是由A的元素和B的元素汇合而成的，它们或属于A，或属于B。如A=｛a，b｝，B=｛b，c｝，则C=AUB｛a，b，c｝。并集可图示如下： 图中画..
真值(语言)：也叫“真假值”、“逻辑值”。在二值逻辑中，指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的，而是主要研究制约一个命题真假的逻辑条件。一..
合取范式(语言)：支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式..