cookie-box https://blog.hatena.ne.jp/cookie-box/ クッキーの日記 https://cookie-box.hatenablog.com/ 本読み 数理論理学 読んでいる本（出典）： 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回： ノート2 ／ 次回： ノート4 目次： 数理論理学第4章は一階命題論理の応用としての論理回路の話で、ノートは省略。 以下、第5章前半の自分の理解。第5章は一階述語論理。今回のノートは統語論まで。前回までのあらすじ 「妥当な証明とは何か」を打ち立てるために、まず一階命題論理という体系を考えた。 個々の命題を論理式（原子命題を表す命題記号 or 論理式を真理関数に代入したもの）で表し、原子命題の数 通りの解釈の上に個々の論理式の真偽 を定めた。 ある解釈の下で、前提の命題たちを表す論理式列が全て で、帰結の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcookie-box.hatenablog.com%2Fentry%2F2017%2F01%2F13%2F235923" title="数理論理学： ノート3 - クッキーの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%202 Hatena Blog https://hatena.blog 2017-01-13 23:59:23 rich https://cookie-box.hatenablog.com/entry/2017/01/13/235923 1.0 100%