释义 |
分情况证明 argument according to case 穷尽了所有可能情况并分别对每一种情况都确认为真的一种证明。如果q有n种情况,并在n种情况下都真,那么q真就得到了证明。这种证明方法,根据的是假言选言推理。其推理形式是:  例如,三段论中有一条规则:从两个特称前提不能得结论。这条规则的一般证明过程是:在三段论中,如果两个前提都是特称的,只有下列三种情况:II、OO、IO。对上述三种情况分别证明它们不能必然得出结论,从而就证明了三段论的这条规则。这就是一种分情况证明。在进行这种证明时,应当注意穷尽所有可能情况,不能有所遗漏,否则,就不能保证该证明是有效的。 |