おことわり
6月18日（月）に発生した、大阪府北部を中心とする地震につき、余震の恐れも否定できないため、安全上の理由により念のため、休講とさせていただきました。申し訳ありませんが、安全第一と言うことで、よろしくお願いいたします。
- 補講予定日：6月28日（木）16:30〜＠文学部第5講義室（現在の論理学授業と同じ教室）
- 内容：問題演習（命題論理、述語論理）
本日の授業
授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∀の導入と除去
- 補講日について
