除去

股関節おじさんの勉強部屋

演繹の推論規則と含意除去

論理演算を導入する規則の次は、それを除去する規則を学びます。 推論規則 除去 定義 導入規則と対になる除去規則(elimination rules)がある(削除規則とも)。すなわち、複合型の命題を解体するものである。例え...
タイトルとURLをコピーしました