出版社内容情報
記号論理学は情報科学を学ぶ学生にとって基礎課目の一つです.本書は初学者向きに,命題論理,1階述語論理の公理論,モデル論のみを扱い,練習問題を多数用意して解説したテキストです.
■目次 導入/命題論理の意味論/述語論理の意味論/例題論理の公理論/述語論理の公理論/練習問題解答
内容説明
本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び1階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。
目次
1 導入
2 命題論理の意味論
3 述語論理の意味論
4 命題論理の公理論
5 述語論理の公理論