量化子導入の哲学におけるインパクトについては、以下の本を参考にしてください。言語哲学大全1 論理と言語作者: 飯田隆出版社/メーカー: 勁草書房発売日: 1987/10/20メディア: 単行本購入: 7人 クリック: 37回この商品を含むブログ (55件) を見る

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

前回の復習 宿題の答え合わせ 量化子：∀と∃ 述語論理:∀の導入と除去 宿題

授業第六回目、本日から述語論理に入ります。量化子および ∀の導入・除去規則についてです。

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

前回の復習 宿題の答え合わせ 自然演繹（⇒、∧、∨の関係） 演習 宿題

授業第五回目、最小命題論理の自然演繹の演習です。各種結合子（⇒、∧と∨）の入り交じった命題の証明になれるのが目的です。

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

前回の復習 宿題の答え合わせ 自然演繹（∧の導入・除去規則） 自然演繹（∨の導入・除去規則） 宿題

授業第四回目、最小命題論理の自然演繹（∧と∨の導入規則・除去規則）についてです。

連休のため、本日の授業はお休みです。