G-Toolsノート1:(第2章)数理論理学の目的「この証明は妥当か」の確認と、それをどうやって示すのかの方針。ノート2:(第3章)一階命題論理という体系では、原子命題の真偽の組合せのパターン(解釈)を考える。ノート3:(第5章前半)一階述語論理という体系では、原子命題を項と述語に分解し、量化を導入する。ノート4:(第5章後半)一階述語論理の解釈は、構造(記号から存在物への対応)と割り当てに依存する。注目記事はてなブログをはじめよう!cookie-boxさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。