千米小说网

C 析取推论（第3页）

此为承认前件的式。

b。甲是乙或是丙；　b。如果甲不是乙，则甲是丙；

甲不是丙，　　甲不是丙，

所以甲是乙。　　所以甲是乙。

此为否认后件的式。

c。甲是乙或是丙；　　c。如果甲是乙，则甲不是丙；

甲是乙，　　甲是乙，

所以甲不是丙。　所以甲不是丙。

此为承认前件的式。

d。甲是乙或是丙；　d。如果甲是乙，则甲不是丙；

甲是丙，　　甲是丙，

所以甲不是乙。　所以甲不是乙。

此为否认后件的式。

析取推论既能用充分条件的假言推论表示，当然也能用必要条件的假言推论表示。读者自己可以写出来，作为练习。

4。析取推论既可以用假言推论表示，也可以用三段论表示：

a。甲是乙或是丙；　　a。所有非乙之甲都是丙，

甲不是乙，　　甲是“非乙之甲”即“甲不是乙”；

所以甲是丙。　　所以甲是丙。

b。甲是乙或是丙；　　b。无一是乙之甲是丙，

甲是乙，　　甲是“是乙之甲”即“甲是乙”；

所以甲不是丙。　所以甲不是丙。

c。甲是乙或是丙，　　c。所有非乙之甲都是丙；

甲不是丙，　　甲不是丙；

所以甲是乙。　　所以甲不是“非乙之甲”，即“甲是乙”。

d。甲是乙或是丙；　　d。无一是乙之甲是丙，

甲是丙，　　甲是丙；

所以甲不是乙。　所以甲不是“是乙之甲”，即“甲不是乙”。（批评见后）