也叫“真假值”、“逻辑值”。在二值逻辑中,指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的,而是主要研究制约一个命题真假的逻辑条件。一个命题变元中可以表示一个真命题如“长江在中国”,也可以表示一个假命题如“词典是小说”。所以,真和假都是命题变元p的真值。
真值(语言)
真值(语言):
也叫“真假值”、“逻辑值”。在二值逻辑中,指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的,而是主要研究制约一个命题真假的逻辑条件。一个命题变元中可以表示一个真命题如“长江在中国”,也可以表示一个假命题如“词典是小说”。所以,真和假都是命题变元p的真值。
交集(语言):集合的基本运算之一。设给定两个集合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的交集..
蕴涵式(语言):用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”,读作”p蕴涵q”。其中p称为前件,q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真,当且仅当,不存在前件真..
联结词(语言):在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”,“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”,可以用“..
析取式(语言):用析取真值联结词“V”将两个或两个以上命题联结而或的真值形式。构成析取式的支命题,称为析取支或析取项,用p、q、r等表示。析取式一般表示为pvq,读作“p析取q”。析取式的逻辑性质取决于“析取”这一真值..