p或者q 非p(或非q) 所以,q(或p) 也可以用蕴涵式表示: (pVq)∧→p→q 从选言命题的真值表可以看出,当pVq为真,当并且p为假时,q一定是真的,当pVq为真, 并且q为假时,p一定是真的。所以,选音推理否定肯定式是有效的。 例1该案的作案人或者是甲,或者是乙 现已查明该案的作案人不是甲 所以,该案的作案人是乙。 例2或者法是在原始社会就形成的,或者法是随着国家的形成而出现的, 法不是在原始社会就形成的, 所以,法是随着国家的形成而出现的。 选言推理中有一种无效的推理形式即肯定否定式,其推理形式为: p或者q p(或q 所以,非q(或非p) 「例3某甲犯错误或是立场原因或是认识原因, 某甲犯错误认识原因; 所以,某甲犯错误不是立场原因 这种推理之所以无效的,可以从选亩命题的真值表中看出。当pVq为真并且p为真时,q可真可 假。因此从pVq和p,不能必然推出-q;同理,从pVq和q也不能必然推出→p 从上面的阐述中,我们可以总结出选言推理的两条规则: (1)否定一部分选言支,就要肯定另一部分选言支。 (2)肯定一部分选言支,不能否定另一部分选言支 这样,我们判定一个选音推理是否有效,就可以依据它的规则。比如例1例2的推理形式之所 以有效,是因为它们没有违反推理规则。而例3的推理形式之所以无效,就是因为它违反了规则。 2、析取附加式 选言推理的析取附加式是以任一命题为前提而得出以这个命题为一选言支,并附加另一选言支构成 的选言命题为结论的推理形式 这种推理的形式可表示为: 所以,p或者q 也可以把这种形式用蕴涵式表示为: p→pVq 例1地板上脚印是该案的重要证据; 所以,地板上的脚印或者墙上的血迹是该案的重要证据 例2在犯罪过程中,自动放弃犯罪是犯罪中止 所以,在犯罪过程中,自动放弃犯罪或自动有效地防止犯罪结果的发生,是犯罪中止。9 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、析取附加式 选言推理的析取附加式是以任一命题为前提而得出以这个命题为一选言支，并附加另一选言支构成 的选言命题为结论的推理形式。 这种推理的形式可表示为： p 所以，p 或者 q 也可以把这种形式用蕴涵式表示为： p→p∨q [例 1] 地板上脚印是该案的重要证据； 所以，地板上的脚印或者墙上的血迹是该案的重要证据。 [例 2] 在犯罪过程中，自动放弃犯罪是犯罪中止， 所以，在犯罪过程中，自动放弃犯罪或自动有效地防止犯罪结果的发生，是犯罪中止