C。析取推论
析取推论是由一以析取命题为大前提,以肯定或否定或析取命题为小前提,而得一否定或肯定或析取命题为结论的推论。
1。析取推论以下列各式为例:
a。结论为肯定命题的析取推论,这一种的小前提为否定命题,例如:
甲是乙或是丙;
甲不是丙,
所以甲是乙。
b。结论为否定命题的析取推论,这一种的小前提为肯定命题,例如:
甲是乙或是丙;
甲是乙,
所以甲不是丙。
c。以上不过表示甲有是乙或是丙的两可能,在析取推论中,可能不限于两可能。如有三可能,我们可以有以下的各式:
甲是乙,或是丙,或是丁;
甲不是乙,
所以甲是丙或是丁。
在此小前提为否定命题,结论为析取命题。但我们也可以有析取命题为小前提,而得一否定命题的结论,例如:
甲是乙,或是丙,或是丁;
甲是丙或是丁,
所以甲不是乙。
总而言之,可能不必有两个,可能愈多,情形当然也就愈复杂。
d。但以上都可以说是名词与名词之间有析取情形关系。析取不限于名词,例如:
甲是乙或丙是丁;
甲是乙,
所以丙不是丁。
2。所列的可能必须彼此不相容而又彼此穷尽。不相容与穷尽有四可能:a。不不相容而不穷尽,b。不不相容而穷尽,c。不相容而不穷尽,d。不相容而穷尽。兹特分别讨论之。
a。不不相容而不穷尽。兹以“甲是乙或是丙”为例。乙与丙既不不相容。则