推論

前提から結論を導くこと

正しい推論・間違った推論

正しい推論

前件肯定

AならばBである

Aである

ゆえにBである

後件否定

AならばBである

Bではない

ゆえにAではない

誤った推論

前件否定

AならばBである

Aではない

ゆえにBではない

後件肯定

AならばBである

Bである

ゆえにAである

逆（必ずしも正しい結論にはならない）

条件文：AならばBである→逆：BならばAである

裏（必ずしも正しい結論にはならない）

AならばBであるである→裏：Aでないならば、Bではない

待遇（結論がただしくなる）

AならばBである→Bではないならば、Aではない