・人間は必ず死ぬ(大前提)・ソクラテスは人間である(小前提)・ソクラテスは必ず死ぬ(結論)という三段論法が有名だ。前提の命題から推論によって結論を導き出す行為が「論証」である。大前提は、一般的な事柄(人間について)であり、小前提は個別の事実(ソクラテスについて)がくる。大前提と小前提に共通の媒概念があり、論証を支えている。この場合は【人間】である。論証には、4種類ある。上述のように、AならBである、そしてAである、ゆえにBであるという「モードゥス・ボネンス」のほか、AならBである。Bではない、ゆえにAではないという「モードゥス・トレンス」、AかBのどちらかである。