記号論理入門【述語論理】前編【電子書籍】[ 金子 裕介 ]

文字数：15,184




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






記号論理入門

【命題論理】
前編


記号論理入門

【命題論理】
後編




の続きとして、述語論理の基本文型ともいえる単称文、全称文、特称文について学びます。

背景にある体系は、ゲンツェンの自然演繹の古典体系（いわゆるNK）になります。







2024/4/3：若干の誤字脱字を修正しました。




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




2025/3/10：若干の修正をし第3版として出版します。




画面が切り替わりますので、しばらくお待ち下さい。
※ご購入は、楽天kobo商品ページからお願いします。
※切り替わらない場合は、こちら をクリックして下さい。
※このページからは注文できません。