Untitled Scanned 19

55

(3)    q-*[pvr->pv{q a r)]

11 :: (2)=*-(3)=>(4)

(4)    p v q -* [p v r -»p v (<7 A r)]

32 :: (4)=>51

52.    ~i(p v 9) -> 1 p a ng

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

(1)    i(p v q)-+-\p

3 :: 10=>(2)

(2)    i(p v q) -* ~\q

8 :: (1)=»(2)=>52

53.    p v    Prawo wyłączonego środka

Dowód. 25 :: 52=>(l)

(1) a ~iq) —* p v q

(l) q/~ip :: 35 p/~\p =* 53

54.    (p -* <?) -* "ip v q

Dowód. 42 :: 53 => (1)

(1)    i p v p

1 :: (1)=>(2)

(2)    (p -»</)-» ~\p v p

2 _:: 46 r/-.p=> (2)=> 54

§ 6. TEZY ZE ZNAKIEM RÓWNOWAŻNOŚCI

55. p <-* p

Prawo tożsamości w mocnej postaci

Dowód. 14 q/p :: 18=>18=>55