cookie-box https://blog.hatena.ne.jp/cookie-box/ クッキーの日記 https://cookie-box.hatenablog.com/ 本読み 数理論理学 読んでいる本（出典）： 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回： ノート1 ／ 次回： ノート3 目次： 数理論理学以下、第3章の自分の理解。第3章は一階命題論理。一階命題論理の統語論 一階命題論理では、命題（≡ 真偽を問うことのできる形式）を下のような論理式にかきあらわす。この形式を満たさないものは論理式ではない。一階命題論理における論理式 命題記号は論理式 項真理関数に論理式を代入した形式も論理式 なので、これらも論理式ちなみに、上の例の最後の論理式の部分論理式の集合は以下。 一階命題論理の意味論 上で命題をあらわす論理式に形式的定義を与えたので、次に、論理式の真… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcookie-box.hatenablog.com%2Fentry%2F2017%2F01%2F08%2F134851" title="数理論理学： ノート2 - クッキーの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2017-01-08 13:48:51 rich https://cookie-box.hatenablog.com/entry/2017/01/08/134851 1.0 100%