2017-06-13 ■ 補講予定日:7月8日(土)時間未定 内容:問題演習(命題論理、述語論理) 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹:⇒, ∧, ∨ の関係 宿題 本日の授業資料 授業スライド こちらから 授業要旨・宿題 こちらから