5章後半の自分の理解。最後の節(標準形)がまだ読めていないので、後でこの記事に加筆するか、新しい記事にまとめる。数理論理学第4章は一階命題論理の応用としての論理回路の話で、ノートは省略。以下、第5章前半の自分の理解。数理論理学この本を読みます。2章の自分の理解(第1章は予備知識なので省略)。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。