推論規則
古典論理における代表的な推論規則を以下に示す。(⊢は推論を表すメタ言語の記号であり、A0, ..., An-1 ⊢ BはA0, ..., An-1からBが導かれることを示す。)