第32章

真值表是能显示任何复合判断在它的肢判断的各种真值组合下所取的真值情况的一种数理逻辑图表。

真值表方法就是运用真值表来计算和显示复合判断的真值，定义复合判断的逻辑联结词，确定复合判断间的真值关系和判定复合判断的推理形式是否为有效式的一种方法。

真值表的几种作用如下：

一、利用真值表判定复合判断的真值其判定步骤是：

第一步，将复合判断符号化为数理逻辑的命题表达式；

第二步，用真值表的方法去判定复合判断的命题表达式的真值。

二、利用真值表判定两个复合判断是否等值

三、利用真值表判定两个复合判断是否为矛盾判断

四、利用真值表判定复合判断推理是否有效

返回

例题解析

解析：首先，分析前提是一个必要条件的假言判断，推出的结论是假言前提中否定的后件。

根据必要条件假言三段论推理的规则：否定前件可以否定后件。因此，我们只需补充一个否定前件

后续内容为VIP可读请开通VIP，或购买此章节