1.肯定否定式 这种形式是小前提肯定大前提的一个选言支,结论否定大前提的其他选言支。其公式 如下:p或者q pvq 或 所以非 例如:人的正确思想要么是从天上掉下来的,要么是从社会实践中来的, 人的正确思想是从实践中来的, 所以,人的正确思想不是从天上掉下来的 肯定否定式的规则是: 肯定一个选言支,就要否定其他选言支 这个规则是从作为大前提的不相容选言命题的性质必然引申出来的。因为既然不相容 选言命题的选言支不能同真,只能一真,所以,当大前提肯定一个选言支为真时,剩下的选 言支就必然不是真的,必须否定。 2.否定肯定式 这种形式是小前提否定大前提除一个以外的其余选言支,结论中肯定那个未被否定的 选言支。其公式为 p或者q 非p, 所以,q 例如:某住宅起火或因纵火,或因失火 现已查明不是纵火 所以,是失火 否定肯定式的规则是: 1)否定除一个以外的选言支,就要肯定那个未被否定的选言支; (2)大前提选言命题必须穷尽所有可能的情况。 规则1也是从不相容选言命题的性质必然引申出来的,因为真的不相容选言命题,各 选言支不仅不能同真,而且也不能同假,必有一真,已知除一个以外的其余选言支都是假的, 就可以判定这个被为否定的选言支是真的。所以必须肯定那个未被否定的选言支 (二)相容的选言推理 相容选言推理是前提中有一个相容的选言命题的推理。相容选言推理只有一种正确 式,即否定肯定式。其公式: pvq 或 所以 例如:他学习成绩下降或学习方法不当,或用功不够,或家庭出了变故,或有其他干 扰, 他很用功,家庭没有出变故,也没有其他干 所以,是学习方法不当。 这种选言推理的规则是: (1)否定一部分选言支,就要肯定另一部分选言支。 (2)肯定一部分选言支,不能否定另一部分选言支。 66 1．肯定否定式 这种形式是小前提肯定大前提的一个选言支，结论否定大前提的其他选言支。其公式 如下：p 或者 q p∨q P ， 或 p 所以非 q ┐q 例如: 人的正确思想要么是从天上掉下来的，要么是从社会实践中来的， 人的正确思想是从实践中来的， 所以，人的正确思想不是从天上掉下来的。 肯定否定式的规则是： 肯定一个选言支，就要否定其他选言支。 这个规则是从作为大前提的不相容选言命题的性质必然引申出来的。因为既然不相容 选言命题的选言支不能同真，只能一真，所以，当大前提肯定一个选言支为真时，剩下的选 言支就必然不是真的，必须否定。 2．否定肯定式 这种形式是小前提否定大前提除一个以外的其余选言支，结论中肯定那个未被否定的 选言支。其公式为： p 或者 q， p∨q 非 p， 或 ┐p 所以，q q 例如：某住宅起火或因纵火，或因失火， 现已查明不是纵火， 所以，是失火。 否定肯定式的规则是： （1）否定除一个以外的选言支，就要肯定那个未被否定的选言支； （2）大前提选言命题必须穷尽所有可能的情况。 规则 1 也是从不相容选言命题的性质必然引申出来的，因为真的不相容选言命题，各 选言支不仅不能同真，而且也不能同假，必有一真，已知除一个以外的其余选言支都是假的， 就可以判定这个被为否定的选言支是真的。所以必须肯定那个未被否定的选言支。 （二）相容的选言推理 相容选言推理是前提中有一个相容的选言命题的推理。相容选言推理只有一种正确 式，即否定肯定式。其公式： p 或 q， p∨q 非 p， 或 ┐p 所以 q。 q 例如:他学习成绩下降或学习方法不当，或用功不够，或家庭出了变故，或有其他干 扰， 他很用功，家庭没有出变故，也没有其他干扰， 所以，是学习方法不当。 这种选言推理的规则是： （1）否定一部分选言支，就要肯定另一部分选言支。 （2）肯定一部分选言支，不能否定另一部分选言支