マガジンのカバー画像

古典命題論理｜ずんずん命題論理

2
本
・古典命題論理についてのおはなしです。 ・意味論・統語論を導入して、健全性・完全性を証明するところまでやります。 ・ニコニコ・YouTubeで公開中／公開予定の「ずんずん命題論理…
運営しているクリエイター
おひつじ｜たんぽぽ牛乳本舗

§1　概要｜古典命題論理｜ずんずん命題論理

　この記事は、マガジン「古典命題論理｜ずんずん命題論理」の１回目です。古典命題論理の概要…

おひつじ｜たんぽぽ牛乳本舗
おひつじ｜たんぽぽ牛乳本舗
1年前
1

目次｜古典命題論理｜ずんずん命題論理

　この記事は、古典命題論理を解説するマガジン、「古典命題論理｜ずんずん命題論理」の注意点…

おひつじ｜たんぽぽ牛乳本舗
おひつじ｜たんぽぽ牛乳本舗
1年前
1