今日というか1週間分の書きだめ。 論理学を作るp283~p295の範囲のノート。 直観主義論理学(p283,p284) 数学的プラトニズムと構成主義 例:Xは無理数 OR 有理数? 直観主義論理(p292~) 排中律(¬P∨P)の排除 矛盾規則:(AB) 二重否定 ド・モルガンの法則 p295 練習…