読んでいる本（出典）： 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回： ノート2 ／ 次回： ノート4 目次： 数理論理学第4章は一階命題論理の応用としての論理回路の話で、ノートは省略。 以下、第5章前半の自分の理解。第5章は一階述語論理。今回のノー…