記号論理学入門

森北出版
小松寿　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 1997年02月
• 判型: Ａ５
• ISBN: 9784627050006

内容情報

[BOOKデータベースより]

本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び１階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。

１　導入
２　命題論理の意味論
３　述語論理の意味論
４　命題論理の公理論
５　述語論理の公理論