今週こそは授業をします! 乞うご期待!さて、授業・後期第三回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、トンクの導入規則は∨、除去規…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。