仮言三段論法
仮言三段論法は古典論理の演繹の推論規則の1つであり、非古典論理学では採用されないこともある。仮言三段論法は、以下の形式に従う妥当な論証である。
記号的に表現すると次のようになる。
言い換えれば、ある概念が別の概念を包含し、その別の概念が第三の概念を包含するとき、最初の概念は第三の概念を包含する。