Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 (1) (p→q)∧(p→r)├ p→(q∧r) (p→q)∧(p→r) (p→q)∧(p→r) ─────── ─────── 1 1 p p→q p p→r ───── ───── q r ─────────── q∧r ────── 1 p→(q∧r) (2) (p→q)∨(p→r)├ p→(q∨r) 1 1 p p→q p p→r ──── ──── q r ─── ─── (p→q)∨(p→r) q∨r q∨r ──────────────── q∨r ──── 1 p→(q∨r) 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20130913%2F1379044414" 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-09-13 12:53:34 rich https://pulin.hateblo.jp/entry/20130913/1379044414 1.0 100%