商品説明
内容紹介
文字数:16,116
最新の記号論理の入門書です。
記号論理入門【命題論理】前編
で学んだ記号論理の知識をもとに、ゲンツェンの自然演繹の正統派(古典)体系、NKにおける、命題論理の8つの公理を説明します。これは優れているとか、そういう理由からでなく、記号論理で学ばなければならない根底的な体系だから選ばれています。
2024/7/26(第2版): 蓄積していた内容上のミスや、誤字を修正し第2版として出版します。
2025/2/23(第3版):assumprion, hypothesis(仮定の英訳)の注と,誤字修正をしました。
商品レビュー
楽天Koboのレビュー
まだレビューがありません。 レビューを書く