Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 (1) ¬p∨q , p∨r├ q∨r（証明） 与えられた式は ¬p∨q≡p→q , p∨r≡¬p→r から p→q , ¬p→r├ q∨r となるので 1 1 p p→q ¬p ¬p→r ──── ────── q r ─── ─── p∨¬p q∨r q∨r ────────────── 1 q∨r (2) p→q , r→¬q├ p→¬r （証明） 2 1 p p→q r r→¬q ───── ────── q ¬q ────────── ⊥ ───── 1 ¬r ───── 2 p→¬r (2)において、pを「1000円持っている」、qを「この本が買える」、rを「500円持っている」と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20131001%2F1380583821" 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> Hatena Blog https://hatena.blog 2013-10-01 08:30:21 rich https://pulin.hateblo.jp/entry/20131001/1380583821 1.0 100%