同語反復

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