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

著者

• 丹治, 信春 タンジ, ノブハル

書誌事項

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

丹治信春著

朝倉書店, 1999.11

タイトル読み

タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン

内容説明・目次

内容説明

本書は、記号論理学を初めて学ぶ人のための教科書である。

目次

• 第１部　命題論理（命題論理の記号言語；真理値分析とトートロジー；命題論理のタブロー；命題論理における健全性と完全性）
• 第２部　述語論理（述語論理の記号言語；述語論理における真理値と妥当性；述語論理のタブロー；述語論理における健全性と完全性）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA4379611X
• ISBN:
  • 9784254500127
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: iv, 137p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学