(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 ───…