内容紹介

文字数：16,116

最新の記号論理の入門書です。

記号論理入門【命題論理】前編

で学んだ記号論理の知識をもとに、ゲンツェンの自然演繹の正統派（古典）体系、NKにおける、命題論理の８つの公理を説明します。これは優れているとか、そういう理由からでなく、記号論理で学ばなければならない根底的な体系だから選ばれています。

2024/7/26（第２版）： 蓄積していた内容上のミスや、誤字を修正し第２版として出版します。

2025/2/23（第３版）：assumprion, hypothesis（仮定の英訳）の注と，誤字修正をしました。