Untitled Scanned 17

54

(1) r -* [(r —* p A r) —* [q V r -> (p a q) v (p a r)]]

2 :: (1)=>31 <j/r=>(2)

(2)    p-*[?vr-»(pAij)v(/)A r)]

32 :: (2)=>48

49.    (p a g) v (p a r) -»p a (<? v r)

Dowód. 38 :: 9 />/<?, <?/r=>( 1)

(1)    pA^-»pA(i|vr)

38 :: 10 q/r, p/q=>(2)

(2)    pAr-*pA(q vr)

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

50.    p v (q a r) —* (p v q) a (p v r)

Dowód. 8 :: 9=>9 <?/r=>(l)

(1)    p-*(p v <?) a (p v r)

16 :: 6 p/g, <?/r => 10=»(2)

(2)    ą a r-p v ^

16    :: 7 pfq, qfr => 10 q/r =>(3)

(3)    q a r -*p v r

8 :: (2)=>(3)=>(4)

(4)    q a r —* (p v q) a (p v r)

11 _: (1)=> (4) => 50

51.    {p v q) a {p v r) -♦ p v (q a r)

Dowód. 1 :: 9 q/q a r =>(1)

(1)    P v r -* [p -* p v (q a r)]

17    :: (1)=>(2)

(2)    p-»[pvr-»pv(i/A r)]

16 :: 31 p/g, q/r=>46 p/r. q/q a r, r/p=>(3)