商品情報
商品説明
内容紹介
文字数：20,747
最新の記号論理の入門書です。
記号論理入門【命題論理】前編
記号論理入門【命題論理】後編
記号論理入門【述語論理】前編
の続きとして、述語論理の公理、ゲンツェンの自然演繹の古典体系（いわゆるNK）最後の４つの公理、∀-Elim（全称例化）、∃-Intro（存在汎化）、∀-Intro（全称汎化）、∃-Elim（存在例化）について学びます。学習に必要な論理式の概念や関係述語についても説明されています。
【2024/4/3】若干の誤字脱字を修正しました。
【2024/7/26第2版】 蓄積していた内容上のミスや、誤字を修正し第2版として出版します。
【2025/6/7第3版】注をアラビア数字化し、内容上の修正をし、第3版として出版します。
商品レビュー
楽天Koboのレビュー
まだレビューがありません。 レビューを書く
楽天ブックスランキング情報
-
週間ランキング
ランキング情報がありません。
-
日別ランキング
ランキング情報がありません。
週間ランキング
電子書籍版
図解 やっとわかった！ 大人のための中学…
