論理記号 導入規則 除去規則 ∧ And導入 And除去左, And除去右 ∨ Or導入左, Or導入右 Or導入 ⇒ Imp導入 Imp除去 T True導入 (通常の証明) ⊥ (背理法による証明) False除去 ￢ Not導入 Not除去 1 And intro 基本証明 2 And elim left 基本証明 3 And elim righ…