Question

真值表的实例

Answer 1

经典(就是说二值)逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是真或假，通常在表中简单的表示为 T 和 F。
举例：用真值表方法回答：丁的话是否成立？为什么？
甲：只有小王不上场，小李才上场。
乙：如果小王上场，则小李上场。
丙：小王上场，当且仅当小李不上场。
丁：甲、乙、丙的话都不对。
解答：列表：
p q —p<-q p->q p<->—q
真 真 假 真 假
真 假 真 假 真
假 真 真 真 真
假 假 真 真 假
由表可知，丁的话不能成立，因为甲、乙、丙三人的话不可能同时为假。
分析：以往的真值表解题，大都是要求判定两个判断是否等值或是否矛盾。近来，一些真值表解题的要求有所改变，增加了试题考核的能力与难度层次。本例题就是一种类型。题目要求判定“丁的话是否成立”，实质上是要判定甲、乙、丙的话能否同假。
此类题目往往以自然语句出现，又规定了要用真值表方法解题，所以答题时的要领有以下几个：一是把自然语句正确形式化，二是准确列出真值表，尤其是要小心求出判断的真值，三是根据真值表作出判断