2013-09-13から1日間の記事一覧
(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…
