使用テキスト 『一歩ずつマスターする 論理学入門』(峯島宏次 著、慶應義塾大学出版会株式会社) 一歩ずつマスターする 論理学入門 作者:峯島宏次 慶應義塾大学出版会 Amazon 論理学学習ログ3日目 意味論の基礎ー真理値分析と同値性について ui46wmhtmlcss23.hatenadiary.jp 学習範囲 第3章 命題論理の意味論 3.1 真理値分析 3.2 真理条件的に同値な論理式と同値変形 3.3 トートロジーと矛盾式 3.4 真理値分析によって推論の妥当性を判定する 3.5 真理値分析によって矛盾と整合性を判定する 今回は、”意味論的推論の妥当性判断”の学習に必要なの前提知識の一…