今日っていうか昨日の論理学だがw 論理学を作るP205~297の内容。次回は直観主義論理のセマンティクスをやります。 対偶法則の部分的な成立 結合子相互の定義可能性 練習問題88 (1)NJで¬¬P→Q⊢¬Q→¬Pを示せ (2)NJでP∧¬Q⊢¬(P→Q)は成立、¬(P→Q)⊢P∧¬Qは不成立。こ…