スマリヤン『決定不能の論理パズル―ゲーデルの定理と様相論理』p.57に載っている練習問題3。命題p3が次の2つの命題の論理的帰結であることを示せ。(1) p1≡¬p2 (2) p2≡(p1≡¬p3) （解答） 命題XとYについて、X→Yが常に真ならばYはXの論理的帰結である。 (1)と(…