真值表分析和总结.docx

PAGE PAGE 3 联言判断 包含两个联言支的联言判断，其逻辑形式可表示为：p 并且q，合取式为：p∧q 联言判断的真假（真值表） p T q T p ∧q 真值表表明：p∧q 真，当且仅当p 和 q 同真。 T T F F F T F F F F 选言判断 1、相容选言判断 逻辑形式：p 或者q，p∨q 真假表表明：p∨q 假，当且仅当p 和 q 同假。 p q p ∨ q T T T T F T F T T F F F 2、不相容选言判断 逻辑形式：要么p，要么q, p∨q 真值表表明：p∨q 假，当且仅当p 和 q 同真或同假。 p q p ∨ q T T F T F T F T T F F F 假言判断 充分条件假言判断 1、充分条件假言判断： 真假表表明：p → q 为假，当且仅当p 真而q 假。 p p q p → q T T T T F F F T T F F T 2、必要条件假言判断： p ←q真值表表明：p ← q 为假，当且仅当p p ←q p q T T T T F F F T F F F T 3、充分必要条件假言判断 真值表表明：p  声 q 真，当且仅当p 和 q 同真或同假。 p q p q T T T T F F F T F F F T 负判断 p 逻辑形式：并非p，逻辑符号表示：“ ”或者“1 P ” p p T F F T