補講予定日の投票のお願い
- 以下のリンクから、希望日にご投票下さい。
https://doodle.com/poll/dz2gu8ivezii6knv
- 内容：問題演習（述語論理）
授業内容
授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。
- 前回の復習
- 宿題の答え合わせ
- 演習
- 自然演繹：⇒, ∧, ∨ の関係
- 宿題
補講予定日の投票のお願い
- 以下のリンクから、希望日にご投票下さい。
https://doodle.com/poll/dz2gu8ivezii6knv
- 内容：問題演習（述語論理）
授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。
