欧拉图解(语言)①

前束范式(语言)：一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基..

补集(语言)：集合的基本运集之一。设给定集合A，如有集合C，C=｛X：XA｝，则称C为A的补集，记为C=A′或A。显然C元素是全集中除A以外的所有元素。如全集记为I，I=｛a，b，c｝，A=｛a，b｝，则C=A′=I－A=。补集可图示如下：..

重言式(语言)：也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用..

并集(语言)：集合的基本运算之一。设给定集合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｝。并集可图示如下： 图中画..

等值式(语言)：也叫“等价式”。用等值真值联结词“←→”联结两个命题而成的真值形式。等值式一般记为p←→q，读作“p等值q”。等值式的逻辑性质取决于“等值”这一真值联结词。一个等值式为真，当且仅当，它的两个支命题具..

真值(语言)：也叫“真假值”、“逻辑值”。在二值逻辑中，指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的，而是主要研究制约一个命题真假的逻辑条件。一..