真实价值

真实价值在逻辑真理(T1)或虚假(F0)给定的命题或声明。逻辑连接词,如析取(象征∨”或“)和否定(象征∼),可以被认为是真值函数,因为的真实价值复合命题是一个函数,或者数量取决于其组成部分的真实值。

的真实价值一个复合语句很容易被测试的图称为真值表。表的每一行代表一个可能的组合组件的真实值命题的化合物,和的行数是由可能的组合的数量。例如,如果复合命题只包含两个组件,将会有四种可能,因此四行。常见的连接词的逻辑属性可以显示真值表如下:·象征”和“和⊃表示“如果。然后。”(例如,”或“表中的第二行写道,“如果p是真的,问是假的,那么p∨问是真的。”)的真值表更大复杂性,那些真值函数,可以通过构造一台电脑。抽象的逻辑系统构造,采用三个真实值(例如,真的,假的,和不确定的),甚至许多模糊逻辑,命题的值在0和1之间。