142576220076615186217205747914 n

Tablica 2.1. Zdania logicznie równoważne"

l* (—p)0 p 2a. (p V 7) 0 (7 V p) 'I b.    (p A 7) (7 A p) V c.    (p — 7) (7 — P> J	prawo podwójnego przeczenia prawa przemienności
3a. l(p V 7) V r 0 [p V (7 v r)] 1 b. l(p A 7) A r jp A (7 A r)j J	prawa łączności
4«. [p V {7 A r);«■|(p w 7) • 1 p V r)j b. [p A (7 V r)J0 j(p a 7) v(pAr)j	• prawa rozdzielności
5u. (p V p) 0 p 1 b. (p A p) ■» p J	prawa idempotentności
6a. (p V c) 0 p 1 b. (p V t) t l C. (pAc)«C | d. (pAl) <*p J 7a. (p V -p) 0 t b. (p A -p) c 8a. -(p V 7) (->p A -.7) b.    -(p Aę) 0 (-p V-7) _ c.    (p V 7) 0 ~'(~^,p A --7) d.    (pAę) ■» i-pVn9) 9. (p — 7) 0 — -p)	prawa identyczności prawa De Morgana prawo kontrapozycji
lOa. (p — 7) (~p V 7) 1 b. (p — 7) 0 ~(p A -7) /	określenie implikacji za pomocą alternatywy lub koniunkcji
11®* (pV7) 0 i -p — 7) b. (pA7)o -(p--7)

12u. [(p — r) A (7 — r)] O [(p V 7) — r\ b. [(p —• 7) A (p —• r)j    !p — (7 A r)J

13.    {p —* 7) <=> I(p — 7) A (7 — p)]    określenie równoważności

14.    [(p A 7) — r o [p — (7 — r)]    prawo eksportacji

15.    (p — 7) o |(p A ->7) —* cl    reductio ad absurdum

W tej tablicy t jest dowolną tautologią, a c dowolnym zdaniem sprzecznym

xir 6 15