基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2016-11-01から1日間の記事一覧

今週の授業は予定通り行う予定です!!授業・後期第三回目は、「論理結合子の意味とは何か」の続きで、「反転原理」を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、トンクの導入規則は∨、除去規則は∧…