所以甲是丙。
此可以用三段论表示:
所有“是乙之甲”都是丙,
∴甲是丙。
而此三段论没有错处。
b。否认前件的办法;
如果甲是乙,则甲是丙;
无结论。
此亦可以用三段论表示不能有结论:
所有“是乙之甲”都是丙,
无结论。
此处两前件不能得结论,因为如得“甲不是丙”的命题,则有大词周延之错误。同时此为第一格,第一格之小前提须肯定,此为否定,所以无结论。
c。否认后件的办法:
如果甲是乙,则甲是丙;
甲不是丙,
所以甲不是乙。
用三段论表示如下:
所有“是乙之甲”都是丙;
甲不是丙;
∴甲不是“是乙之甲”,即“甲不是乙”。
为第二格三段论,无毛病。
d。承认后件的办法:
如果甲是乙,则甲是丙;
甲是丙,
无结论。
三段论如下:
所有“是乙之甲”都是丙,
无结论。
此亦为第二格,两前提中无一否定命题,根本不能得结论。此是用以表示承认后件不因此就承认前件。
以上都是用三段论表示对于充分条件的假言推论,承认前件即承认后件,否认前件不能否认后件;否认后件即否认前件,而承认后件不能承认前件。