丙考试得了满分。
假设法:
1)如果甲得满分,则甲假话,乙假话,丙真话,丁真话,不符合题意。
2)如果乙得满分,则甲真话,乙假话,丙真话,丁真话,不符合题意。
3)如果丙得满分,则甲假话,乙假话,丙假话,丁真话,符合题意。
4)如果丁得满分,则甲假话,乙真话,丙真话,丁假话,不符合题意。
由此知,丙考试得了满分。
假言推理是以假言判断为前提的推理。假言推理分为充分条件假言推理和必要条件假言推理两种。
(1)充分条件假言推理的基本原则是:小前提肯定大前提的前件,结论就肯定大前提的后件;小前提否定大前提的后件,结论就否定大前提的前件。
如下面的两个例子:
①如果一个数的末位是0,那么这个数能被5整除;这个数的末位是0,所以这个数能被5整除;②如果一个图形是正方形,那么它的四边相等;这个图形四边不相等,所以,它不是正方形。
两个例子中的大前提都是一个假言判断,所以这种推理尽管与三段论有相似的地方,但它不是三段论。
(2)必要条件假言推理的基本原则是:小前提肯定大前提的后件,结论就要肯定大前提的前件;小前提否定大前提的前件,结论就要否定大前提的后件。
如下面的两个例子:
①只有肥料足,菜才长得好。这块地的菜长得好,所以,这块地肥料足。②育种时,只有达到一定的温度,种子才能发芽。这次育种没有达到一定的温度,所以种子没有发芽。