使用テキスト 『一歩ずつマスターする 論理学入門』(峯島宏次 著、慶應義塾大学出版会株式会社) 一歩ずつマスターする 論理学入門 作者:峯島宏次 慶應義塾大学出版会 Amazon 論理学学習ログ7日目 証明論とは? 否定と選言の自然演繹 ui46wmhtmlcss23.hatenadiary.jp 学習範囲 第4章 命題論理の証明論 4.1 命題論理の自然演繹 4.2 自然演繹の証明を作る方法 4.3 最小論理・直感主義論理・古典論理 4.4 自然演繹による矛盾の導出 4.5 命題論理の完全性 今回は、7日目までに学習した推論規則を用いて、証明をどのように作成していくのか、について学習します。…