Untitled Scanned 22

58

66.    n(/> a q)<~* np v -\q    Drugie prawo Dc Morgana

Dowód. 3 :: 6=>(1)

(1)    ~\p —* ~\{p a q)

3 :: 7=>(2)

(2)    iq -* ~y(p a q)

11 :: (1)=>(2)=>(3)

(3)    ~\p v ~yq —* ~y(p a q)

16    :: 31 =>3 p/q, q/p a q =>(4)

(4)    p - [-i(p a q) - kj]

17    :: (4)=>(5)

(5)    n(p a q) -> (p - ig)

16 :: (5) =>54 qf-\q =>(6)

(6)    i(p a q) ->ip v -w/

14 :: (6) => (3) => 66

67.    (p *->q)<-*(p->q) a (<?-*/?)

Dowód. 8 :: 12=>13=>(1)

(1)    (p <-> q)-> (p - q) *(ą-*p)

32 :: 14=>(2)

(2)    (p q) a (q p) {p q)

14 :: (l)=>(2)=>67

68.    (p -* q)<-*np v q

Dowód. 17 :: 26=>(1)

(1)    ~ip-*{p-*q)

11 :: (1)=> 1 p/q, q/p =>(2)

(2)    ip v q->(p-+q)

14 :: 54=>(2)=>68