2018-10-30から1日間の記事一覧

■

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