授業スライド こちらから 授業要旨・宿題 こちらから

授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。また、その証明の構造について考察します。 前回の復習 宿題の答え合わせ 演習 自然演繹：⇒, ∧, ∨ の関係 duality 宿題