バカラ ルール 簡単

記号論理学

山本 新入江 俊夫田村 高幸(著)

山本 新入江 俊夫田村 高幸(著)

定価 3,520 円(本体 3,200 円+税)

A5判/240ページ
刊行日:2023年11月01日
ISBN:978-4-254-50038-7 C3030

ネット書店で購入する

書店の店頭在庫を確認する

内容紹介

記号論理学の概説書。命題論理,述語論理,様相論理,直観主義論理の完全性までを扱う。独習書として,また「論理学」の講義テキストとしても使用可能。〔内容〕論理学とはなにか/命題論理/述語論理/様相論理/直観主義論理/補論1 ゲンツェンの論理体系/補論2 様相論理への補論/補論3 線形論理について

編集部から

目次

まえがき
第1章 論理学とはなにか
 §1. 正しい推論
 §2. 対象言語とメタ言語
 §3. 公理体系
第2章 命題論理
 §1. 命題の記号化
 §2. 論理式
 §3. 真理値分析
 §4. トートロジー
 §5. 同値定理
 §6. 連言標準形
 §7. 選言標準形
 §8. 真理関数
 §9. 公理体系PL
 §10. 演繹定理
 §11. 無矛盾性
 §12. 完全性
 §13. 正しい推論
 §14. 問題
第3章 述語論理
 §1. 命題の記号化
 §2. 限量記号の用法
 §3. 論理式
 §4. 束縛変項と自由変項
 §5. 解釈(1)
 §6. 妥当な論理式
 §7. 妥当性のテスト
 §8. 公理体系FL
 §9. 無矛盾性
 §10. 解釈(2)
 §11. 健全性
 §12. 完全性
 §13. 正しい推論
 §14. 問題
第4章 様相論理
 §1. 様相命題論理
 §2. 意味論
 §3. 健全性
 §4. 完全性
 §5. 決定可能性
 §6. 様相述語論理
 §7. 意味論
 §8. 健全性
 §9. 完全性
第5章 直観主義論理
 §1. 直観主義命題論理
 §2. 意味論
 §3. 健全性
 §4. 完全性
 §5. 決定可能性
 §6. 直観主義述語論理
 §7. 意味論
 §8. 健全性
 §9. 完全性
補論 1 ゲンツェンの論理体系
 §1. 論理体系LK
 §2. ゲンツェンの基本定理
 §3. LK の無矛盾性
補論 2 様相論理への補論
 §1. 意味論にかんする補論
 §2. 構文論にかんする補論
補論 3 線形論理について
 §1. 線形論理の発想
 §2. 線形論理の体系
参考文献
索引

執筆者紹介

関連情報

ジャンル一覧

ジャンル一覧

  • EBSCO eBooks