Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 スマリヤン『決定不能の論理パズル―ゲーデルの定理と様相論理』p.57に載っている練習問題3。命題p3が次の2つの命題の論理的帰結であることを示せ。(1) p1≡¬p2 (2) p2≡(p1≡¬p3) （解答） 命題XとYについて、X→Yが常に真ならばYはXの論理的帰結である。 (1)と(2)から命題 ((p1≡¬p2)∧(p2≡(p1≡¬p3)))→p3 が常に真であることを確かめればいいのだが、真理値表にして考えてみると、まず(1)と(2)から ¬p1≡(p1≡¬p3) として p1 ¬p1 p1≡¬p3 ¬p3 p3 1 0 0 0 1 0 1 1 0 1 となってp3は常に真なので、後件… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20140207%2F1391746725" title="論理学の練習問題　命題論理 - 御光堂世界~Pulinの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/51jB-sc4amL._SL160_.jpg Hatena Blog https://hatena.blog 2014-02-07 13:18:45 rich https://pulin.hateblo.jp/entry/20140207/1391746725 1.0 100%