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