http://book.akahoshitakuya.com/cmt/34491212 これが命題論理ですはい覚えて帰ってねみたいな説明じゃなくて、公理一つ一つを日常的な感覚とどう同じでどう違うか辿って、体系の位置付けを教えてくれるから素晴らしい本だよ。特に排中律(に限らずたぶんト…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。