由真值表我们看到,一个必要条件命题是假的,当且仅当,它的前件假而后件真。因为在这种情况下,前后件之间不具有必要条件联系,如果我们硬要把它们描述为有必要条件联系,其描述不符合事实,得到的命题就是假的。除此之外,必要条件命题都是真的。
必要条件命题可以用充分条件命题来表示。如果P与q有必要条件联系,那么没有p必定没有q;因此,若是要有q则必定有p,这意味着q与p之间一定有充分条件联系。因此,如果前件是后件的必要条件,那么后件就是前件的充分条件。命题“只有有犯罪动机,才是犯罪嫌疑人”与“如果是犯罪嫌疑人,那么有犯罪动机”是逻辑等值的。因此,我们可以将“p ← q”形式的必要条件命题表示为形式是“q → p”的充分条件命题。 假言推理
假言推理就是以假言命题为前提、并且根据假言命题的逻辑特性进行的推理。与假言命题有三种形式一样,假言推理也有三种不同的形式。
⑴充分条件假言推理,就是以充分条件假言命题为前提进的推理。根据充分条件假言命题前后件之间逻辑关系的特点,充分条件假言推理有两种正确的形式: “肯定前件式”和“否定后件式”。其公式:
p→q, p→q, p; 非q; ∴q。 ∴非p。
充分条件假言推理不能通过否定前件取否定后件,也不能通过肯定后件去肯定前件。由此得到充分条件假言推理的两条规则。
⑵必要条件假言推理,就是以必要条件假言命题为前提进行的推理。根据必要条件假言命题前后件之间逻辑关系的特点,必要条件假言推理有两种正确形式,即“否定前件式”和“肯定后件式”。公式:
26
p←q, p←q, 非p q
∴非q。 ∴p。
必要条件假言推理不能从肯定前件到肯定后件,也不能从否定后件到否定前件。由此得到必要条件假言推理的两条规则。
⑶充要条件假言推理,就是以充要条件假言推理为前提进行的推理。根据充要条件假言命题前后件之间逻辑关系的特点,充要条件假言推理有四种正确的形式:“肯定前件式”、“否定前件式”、“肯定后件式”和“否定后件式”。
27