除去

論理演算を導入する規則の次は、それを除去する規則を学びます。推論規則　除去定義導入規則と対になる除去規則（elimination rules）がある（削除規則とも）。すなわち、複合型の命題を解体するものである。例えば、"A ∧ B true...