読んでいる本（出典）： 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回： ノート1 ／ 次回： ノート3 目次： 数理論理学以下、第3章の自分の理解。第3章は一階命題論理。一階命題論理の統語論 一階命題論理では、命題（≡ 真偽を問うことのできる形式）を…