哲学与宗教

真值逻辑

真值逻辑
真值逻辑
Anonim

给定命题或陈述的逻辑真值(T或1)或虚假(F或0)的真值。逻辑连接词,例如析取(用“∨”表示,用∨表示)和否定(用〜表示),可以看作是真函数,因为复合命题的真值是其函数或数量取决于,其组成部分的真值。

复合语句的真值可以通过称为真值表的图表轻松测试。该表的每一行代表该化合物的组分命题的真值的可能组合,并且行数由可能的组合数确定。例如,如果该复合词仅包含两个组成部分,则将有四种可能性,因此表格有四行。常用连接词的逻辑属性可以通过真值表显示,如下所示:

其中·表示“和”,⊃表示“ if”。。。然后。” (例如,在“或”表中,第二行显示为“如果p为真,q为假,则p∨q为真。”)真度表的复杂度要高得多,具有多个真函数可以通过计算机来构造。已经构建了使用三个真值(例如,真,假和不确定)或什至很多的真值(如模糊逻辑)的抽象逻辑系统,其中命题的值在0到1之间。