━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 数理論理学 第14回「述語論理の意味論 1」の要点 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
●自然演繹の健全性と完全性 自然演繹の健全性 自然演繹で証明可能な論理式は,恒真 自然演繹の完全性 恒真な論理式は,自然演繹で証明可能 ●言語に対する構造 言語 形式体系の記述に使う記号の集合 構造 記号列に意味を与える 対象領域(対象の集まり)と解釈(記号と意味との対応)で定める 構造に対する論理式の正しさ 論理式の正しさは,構造によって定まる真理値で判断できる ※詳細は教科書の定義を参照 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 授業のホームページ 山田 俊行 https://www.cs.info.mie-u.ac.jp/~toshi/