有效論証(前提為真,結論必為真)
型式:凡A是B,C是A,故C是B。
A B C A C B
例1:凡(鳥)是(有翅),(麻雀)是(鳥),故(麻雀)是(有翅)。
真 真 真
例2:凡(食物)是(液體),(可樂)是(食物),故(可樂)是(液體)。
假 真 真
例3:凡(食物)是(液體),(蘋果)是(食物),故(蘋果)是(液體)。
假 真 假
無效論証(前提為真,結論有時真,有時假)
型式:凡A是B,C是B,故C是A。
A B C B C A
例1:凡(鳥)是(有翅),(麻雀)是(有翅),故(麻雀)是(鳥)。
真 真 真
例2:凡(鳥)是(有翅),(飛機)是(有翅),故(飛機)是(鳥)。
真 真 假
例3:凡(食物)是(液體),(可樂)是(液體),故(可樂)是(食物)。
假 真 真
例4:凡(食物)是(液體),(汽油)是(液體),故(汽油)是(食物)。
假 真 假