記号論理・入門

上江洲 忠弘【著】

遊星社（1999/02発売）

• サイズ A5判／ページ数 190p／高さ 22cm
• 商品コード 9784795268883
• NDC分類 116.3
• Cコード C3041

内容説明

記号論理の世界を物語として語りかけた本。対象とする論理を“数学の論証で用いる論理”に限定し、「命題論理」と呼ばれる論理の基本的な部分を対象とした。

目次

第１章　証明の分析
第２章　証明の形式化
第３章　証明可能性と証明図の作成
第４章　命題の真偽と推論規則の正しさ
第５章　形式的論理体系の完全性
第６章　許容推論図
第７章　推件計算