逻辑真值

【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《逻辑真值》，欢迎阅读！

判断

简单判断

类

型 支判断 支判断 形式

P 真

Q 真 假 真 假

复合判断

联言判断 P并且Q 真

真

真

假

真

假

联言支同真时判断为真；只要有一假时假。 合成式： P Q

所以，P并且Q

分解式： P并且Q

所以，P（Q）

假

选言判断

相容 或者P或者Q

不相容 要么P要么Q

假

充分条件 如果P那么Q

真

真

假

假

假 真

后件真前件假判断为假；判断为真时，后件真前件真，前件假后件就假，反之不定。 否定前件式： 只有P，才Q 非 P

所以，非Q 肯定后件式： 只有P，才Q Q

所以，P

真

一真一假就假；判断为真时，前件真（假）后件真（假），后件假（真）前件就假（真）。 当且仅当P，则Q

P 非P Q 非Q

Q 非Q P 非P 肯定前件式 否定前件式 肯定后件式 否定后件式

假言判断 必要条件 只有P才Q

充要条件 当且仅当P则Q

真







逻辑真值

真 假 假



逻辑性质

选言支至少有选言支同真同假前件真后件假判断为一真时判断为时判断为假；有且假；判断为真时，前真；同假时假。 只有一真时为真。 件真后件真，后件假

前件就假，反之不定。 否定肯定式：

或者P，或者Q 非P 所以，Q

否定肯定式： 要么P，要么Q 非P 所以，Q

肯定否定式： 要么P，要么Q P

所以，非Q

肯定前件式： 如果P，那么Q P

所以，Q

否定后件式： 如果P，那么Q 非 Q

所以，非P





推理



1

本文来源：https://www.wddqxz.cn/95bab946bb4ae45c3b3567ec102de2bd9605de87.html