使用テキスト 『一歩ずつマスターする 論理学入門』(峯島宏次 著、慶應義塾大学出版会株式会社) 一歩ずつマスターする 論理学入門 作者:峯島宏次 慶應義塾大学出版会 Amazon 論理学学習ログ4日目 何も情報を持っていない!? トートロジーと矛盾式 ui46wmhtmlcss23.hatenadiary.jp 学習範囲 第3章 命題論理の意味論 3.1 真理値分析 3.2 真理条件的に同値な論理式と同値変形 3.3 トートロジーと矛盾式 3.4 真理値分析によって推論の妥当性を判定する 3.5 真理値分析によって矛盾と整合性を判定する 今日はいよいよ推論が妥当であるか判断する方法を学ぶ。 内…