商品説明
内容紹介
文字数:15,184
最新の記号論理の入門書です。
記号論理入門【命題論理】前編
記号論理入門【命題論理】後編
の続きとして、述語論理の基本文型ともいえる単称文、全称文、特称文について学びます。背景にある体系は、ゲンツェンの自然演繹の古典体系(いわゆるNK)になります。
2024/4/3:若干の誤字脱字を修正しました。
2024/7/26:蓄積していた内容上のミスや、誤字を修正し第2版として出版します。
2025/3/10:若干の修正をし第3版として出版します。
商品レビュー
楽天Koboのレビュー
まだレビューがありません。 レビューを書く