定理 3.1 命題 p,g,r に対して, 以下が成り立つ。
(1) ベキ等法則)
(2) (交換法則)
(3) (結合法則)
(4) ( 吸収法則)
(5) (分配法則)
(8)
(9)
(10) (対偶)
PAP⇔P
p^q⇔q^p,
(6) (ドモルガンの法則) - (p^)V
(7) (二重否定の法則)
¯¯ ⇔p
P→qpVq
(1) p^(q^r) r^(g^p)
(3)-(pq)→
p^(g^r)⇔(p^q)>r,
p^(pVg)p,
p^(gVr) ⇒ (p^q)V(p^r),
pV(q^r) ⇒ (pVg) ^ (pVr)
pvp⇔p
pVqqVp
pV(qVr) ⇒ (pVg) Vr
PV(p^q)⇔P
(pg)⇔p^_g
P→qqp
(pVq) p^q
問 3.2 P,g,r を命題とするとき, 次は成り立つか証明とともに答えよ。 成り立つ場合
の証明については, 定理 3.1 を用いること。
(2) p (gr)⇔g→(p→r)
(4) pq^rr^q→→→p