Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 (1) ¬(p∧¬q)├ p→q1 2 p ¬q ──── p∧¬q ¬(p∧¬q) ──────── ⊥ ─── 2 q ───── 1 p→q (2) p→q├ ¬(p∧¬q) 1 p∧¬q ─── 1 p p→q p∧¬q ────── ───── q ¬q ──────────── ⊥ ─────── 1 ¬(p∧¬q) (3) ¬p∨q├ p→q 1 2 p ¬p ───── ⊥ ─── 2 ¬p∨q q q ──────────── 2 q ───── 1 p→q (4) p→q├ ¬p∨q 1 p p→q ──── 1 q ¬p 1 ──── ──── p∨¬p ¬p∨q ¬p∨… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20130918%2F1379463259" 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-18 09:14:19 rich https://pulin.hateblo.jp/entry/20130918/1379463259 1.0 100%