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