■

授業内容

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

1. 前回の復習
2. 宿題の答え合わせ
3. 演習
4. 自然演繹：⇒, ∧, ∨ の関係