タブローの方法による 論理学入門

丹治 信春(著)

丹治 信春(著)

定価 3,080 円(本体 2,800 円+税)

A5判/152ページ
刊行日:1999年11月01日
ISBN:978-4-254-50012-7 C3030

ネット書店で購入する amazon e-hon 紀伊國屋書店 honto Honya Club Rakutenブックス

書店の店頭在庫を確認する 紀伊國屋書店 旭屋倶楽部

内容紹介

見通しのよい記号論理入門。〔内容〕命題論理(命題論理の記号言語,真理値分析とトートロジー,命題論理のタブロー,命題論理における健全性と完全性)/述語論理(述語論理の記号言語,真理値と妥当性,述語論理のタブロー,健全性と完全性)

編集部から

目次

1. 命題論理の記号言語
2. 真理値分析とトートロジー
3. 命題論理のタブロー
4. 命題論理における健全性と完全性
 4.1 命題論理におけるタブローの方法の健全性
 4.2 命題論理におけるタブローの完全性
5. 述語論理の記号言語
6. 述語論理における真理値と妥当性
 6.1 解釈と真理値
 6.2 妥当性と充足可能性
7. 述語論理のタブロー
8. 述語論理における健全性と完全性
 8.1 述語論理におけるタブローの方法の健全性
 8.2 述語論理におけるタブローの方法完全性
9. 注
10. 索 引

執筆者紹介

関連情報

ジャンル一覧

ジャンル一覧

  • Facebook
  • Twitter
  • 「愛読者の声」 ご投稿はこちら 「愛読者の声」 ご投稿はこちら
  • EBSCO eBooks
  • eBook Library