推理Р选言推理就是根据析取词或选言命题的逻辑性质进行的复合命题推理。它主要有两种有效的推理形式。Р1、否定肯定式Р选言推理的否定肯定式是在前提中否定选言前提的除一个以外的其他选言支,从而得出肯定剩下一个选言支的结论的推理形式。Р这种推理的形式可表示为:Рp或者qР非p(或非q)Р所以,q(或p)Р也可以用蕴涵式表示:Р(p∨q)∧¬p→qР(p∨q) ∧¬q→pР从选言命题的真值表可以看出,当p∨q为真,当并且p为假时,q一定是真的,当p∨q为真,并且q为假时,p一定是真的。所以,选言推理否定肯定式是有效的。Р[例1] 该案的作案人或者是甲,或者是乙,Р 现已查明该案的作案人不是甲,Р 所以,该案的作案人是乙。Р[例2] 或者法是在原始社会就形成的,或者法是随着国家的形成而出现的,Р法不是在原始社会就形成的,Р所以,法是随着国家的形成而出现的。Р选言推理中有一种无效的推理形式即肯定否定式,其推理形式为:Рp或者qРp(或q)Р 所以,非q(或非p)Р[例3] 某甲犯错误或是立场原因或是认识原因,Р 某甲犯错误认识原因;Р 所以,某甲犯错误不是立场原因。Р这种推理之所以无效的,可以从选言命题的真值表中看出。当p∨q为真并且p为真时,q可真可假。因此从p∨q和p,不能必然推出¬q;同理,从p∨q和q也不能必然推出¬p。Р从上面的阐述中,我们可以总结出选言推理的两条规则:Р(1)否定一部分选言支,就要肯定另一部分选言支。Р(2)肯定一部分选言支,不能否定另一部分选言支。Р这样,我们判定一个选言推理是否有效,就可以依据它的规则。比如[例1]、[例2]的推理形式之所以有效,是因为它们没有违反推理规则。而[例3]的推理形式之所以无效,就是因为它违反了规则。Р2、析取附加式Р选言推理的析取附加式是以任一命题为前提而得出以这个命题为一选言支,并附加另一选言支构成的选言命题为结论的推理形式。
全文预览
