2021-05-25 ■ 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。また、これまで論理結合子⇒, ∧, ∨ を学んできましたが、それらの間の相互関係について考えてみたいと思います。 前回の復習 宿題の答え合わせ 演習 自然演繹:⇒, ∧, ∨ の関係