まんが/ラビリンス マンガ 12.A 命題論理-1 2020年5月4日 susumu 論理学について、特に命題論理はなんとなく分かっている。そんな風に思っていた頃がありました…。しかし、全然分かっていなかった…。 で、ちゃんと理解しようと、本をいくつか読んでみると愕然とするわけです。本によって手法も記号も違う…。ある本で理解できないことや釈然としないことを、他の本で補完しようとしても、翻訳ができない…。 そんなわけで、そのへんを意識しつつ、命題論理、少しちゃんとやってみたいと思います…。 関連記事マンガ12.B 命題論理-2 論理代数と論理主義マンガ11.G 構文規則7 意味論マンガ 12.k 命題論理学11 演繹定理マンガ 12.j 命題論理-10 構文論的推論マンガ 12.i 命題論理学9 トートロジーマンガ 12.h 命題論理-8 意味論的推論マンガ 12.G 命題論理-7 命題論理の文法と意味論マンガ 12.f 命題論理-6 完全系