此可以用三段论表示:
所有的丙都是乙,
甲不是乙;
所以甲不是丙。
b。承认前件:
除非甲是乙,甲不是丙;
甲是乙,
不能得结论。不能得结论之理由,也可以用三段论表示:
所有的丙都是乙,
甲是乙;
不能得结论;因为中词不周延。
c。承认后件:
除非甲是乙,甲不是丙;
甲是丙,
所以甲是乙。
此可以用三段论表示:
所有的丙都是乙,
甲是丙;
所以甲是乙。
d。否认后件:
除非甲是乙,甲不是丙;
甲不是丙,
不能得结论。
用三段论表示如下:
所有的丙都是乙,
甲不是丙;
无结论;如得“甲不是乙”一命题,则有大词周延之错。
以上均表示对于必要条件的假言推论,否认前件即否认后件,承认前件不因此就承认后件;承认后件即承认前件,否认后件不因此就否认前件。