真值表是能显示任何复合判断在它的肢判断的各种真值组合下所取的真值情况的一种数理逻辑图表。
真值表方法就是运用真值表来计算和显示复合判断的真值，定义复合判断的逻辑联结词，确定复合判断间的真值关系和判定复合判断的推理形式是否为有效式的一种方法。
真值表的几种作用如下：
一、利用真值表判定复合判断的真值其判定步骤是：
第一步，将复合判断符号化为数理逻辑的命题表达式；
第二步，用真值表的方法去判定复合判断的命题表达式的真值。
二、利用真值表判定两个复合判断是否等值
三、利用真值表判定两个复合判断是否为矛盾判断
四、利用真值表判定复合判断推理是否有效
返回
例题解析
解析：首先，分析前提是一个必要条件的假言判断，推出的结论是假言前提中否定的后件。
根据必要条件假言三段论推理的规则：否定前件可以否定后件。因此，我们只需补充一个否定前件的前提就可以推出否定后件的结论。前件ｐ∧ｑ的否定，
解析：首先，我们分析Ａ和Ｂ两个充分条件假言三段论推理，两个推理都属于否定后件式，根据规则：否定后件可以否定前件。因此，Ａ、Ｂ是有效的。
其次，分析Ｃ、Ｄ都是相容选言推理，Ｃ采取了肯定否定式，Ｄ采取了否定肯定式。根据规则：肯定一个选言肢，不能否定其余的选言肢；否定一个选言肢，可以肯定其余的选言肢。因此Ｃ是非有效的，Ｄ是有效的。
答案：选择Ａ、Ｂ、Ｄ。
２。分析假言三段论推理
例题（１）”只有ＳＩＰ是真的，ＳＡＰ才是真的；ＳＡＰ是假的，所以ＳＩＰ是假的。“这个推理属于何种推理？是否正确？为什么？
解析：首先，判定推理种类。这个推理的前提，一个是必要条件假言判断，另一个是性质判断。推出的结论是性质判断。可知，这是一个必要条件假言三段论推理。
然后，分析其是否有效。小前提否定了大前提后件，结论则否定了大前提的前件。根据必要条件假言三段论推理规则：否定后件不能否定前件。所以，是非有效的。
答案：这是一个必要条件假言三段论推理。推理错误，违反规则：否定后件不能否定前件。
例题（２）”如果两个判断是互相矛盾的，那么它们就不能同真；这两个判断不是互相矛盾的，所以，这两个判断是同真的。“这个推理属于何种推理？是否正确？为什么？
解析：首先，判定推理种类。这个推理的前提，一个是充分条件假言判断，另一个是性质判断。推出的结论是性质判断。可知，这是一个充分条件假言三段论推理。
然后，分析其是否有效。小前提（这两个判断不是互相矛盾的）是大前提前件的否定，结论则否定了大前提的后件。根据充分条件假言三段论推理规则：否定前件不能否定后件。所以，这个推理是非有效的。
答案：这是一个充分条件假言三段论推理，推理错误，违反规则：否定前件不能否定后件……