并集(语言)

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

合取范式(语言)：支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式..

交集(语言)：集合的基本运算之一。设给定两个集合A和B，如有集合C，C=｛x：X∈A并且X∈B｝，则称C为A与B的交集，记为C=A∩B。显然C的元素既属于集合A，又属于集合B。如A=｛a，b｝，B=｛b，C｝，则C=A∩B=｛b｝。交集可图示如下： 图中画斜线部分为A与B的交集..

联结词(语言)：在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”，“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”，可以用“..

范式(语言)：能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。..

子集(语言)：逻辑学术语。对任何X面言，如果X∈A．那么X∈B，这样就称A为B的子集，记为AB。如A=｛a｝，B=｛a，b｝，则A是B的子集，或称A真包含于B，或者B真包含A。..