Untitled Scanned 10

47

Dowód. 16 p/r -* s, q/(q -*r)-*(q~* s), r/[p -+(<?-* r)] -♦

- O -* (q «)] :: 15 p/q, q/r, r/s => 15 q/q - r, r/q -* s =>21

22.    [(p -* q) -* (p -* r)] -* [p -* (q -* r)] Odwrócenie prawa Fregego

%

Dowód. 16 p/q, q/p -* q, r/p -* r :: 1 p/q, q/p =>(1)

(1) [(p -<?)-* (p r)] -[<?-> (p -> r)]

16 p/(p -* q) -* (p -* r), q/q-*ip~* r), r/p-*(q-*r) :: (1)=>17 pfq, q/p =* 22

§ 3. TEZY IMPLIKACYJNO-NEGACYJNE

23.    (-ip -♦ -\q) -* (q -* p)    Odwrotne prawo transpozycji

Dowód. 16 p/q, qh~\q, r/mp :: 5 p/g =>(1)

(1)    (nq -* np) -* fo -* iip)

21 r/np, s/p, p/ng-*mp :: 4 =>(1) =► (2)

(2)    (ng -* nip) -♦ (q -* p)

15    g/nq-*mp. r/q-*p, p/ip-*nę :: (2)=>

=*3 p/np, =>23

24.    (p -♦ -iq) -* (q -*■npj

Dowód. 16 p/np, g/p. r/-u? :: 4=>(1)

(1) (p -* -u?) -* (np -* 19)

16    p/p-*~\q, q/-\~\p    -\q, r/q-*-\p :: (1)=>

=>23 p/*ip => 24

25.    hp -*<?)-► (1^ -* p)

Dowód. 15 q/~\~\p, r/p, p/-\q :: 4=>(1)

(1) (iq -* np) - (-><? - p)