出版社内容情報
見通しのよい記号論理入門。〔内容〕命題論理（命題論理の記号言語，真理値分析とトートロジー，命題論理のタブロー，命題論理における健全性と完全性）／述語論理（述語論理の記号言語，真理値と妥当性，述語論理のタブロー，健全性と完全性）
【目次】
1. 命題論理の記号言語
2. 真理値分析とトートロジー
3. 命題論理のタブロー
4. 命題論理における健全性と完全性
4.1 命題論理におけるタブローの方法の健全性
4.2 命題論理におけるタブローの完全性
5. 述語論理の記号言語
6. 述語論理における真理値と妥当性
6.1 解釈と真理値
6.2 妥当性と充足可能性
7. 述語論理のタブロー
8. 述語論理における健全性と完全性
8.1 述語論理におけるタブローの方法の健全性
8.2 述語論理におけるタブローの方法完全性
9. 注
10. 索 引
内容説明
本書は、記号論理学を初めて学ぶ人のための教科書である。
目次
第１部 命題論理（命題論理の記号言語；真理値分析とトートロジー；命題論理のタブロー；命題論理における健全性と完全性）
第２部 述語論理（述語論理の記号言語；述語論理における真理値と妥当性；述語論理のタブロー；述語論理における健全性と完全性）
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
の
2
記号論理学入門。2020/08/21
-
- 和書
- 良寛さま カラーブックス
