Untitled Scanned 24

60

(3)    (q -> p) -» [\P -*<?)-> [p a r <-* q a r)]

16 :: 13=>(3)=>(4)

(4)    (p *-* q) —» [(p —* q) —* (p a r <-► q a r)]

2 :: (4)=> 12=> 71

72. (pwg)->(/jvrw^vr)    Prawo nowego składnika

równoważności

D 0 w	^r ó d.	16 ::	45 => 14 p!p v	r,	q/q v r	=-(1)
(1) (P	->q)		v r -» p v r) ->	(P	v r<-+q	y r)]
		17 ::	(D=>(2)
(2) (q	< ■*« i *^3 <		^r) - [(/> -m) -	(/>	v /•<-»</	v r)]
		16 ::	45 p/<?. r///> =■	(2)	=*(3)
(3) (q	~*P)	-L(P	-* (7) -»(/> v r*->q		v r)]
		16 ::	13 => (3) => (4)
(4) (P	<->q)	-LiP	-> q) -*(/) v r*->q		vr)]
		2 :: |	[4)=> 12=> 72
(p *-* <1) -* lip -*^r) *-* (g -* r)]
D 0 w	ó d.	16 ::	16 />A/, ?//>=>	14	/»//? -> r.	9/9

(1)    (<7 -> p) -> [[(<7 -> r) - (p -> r)] -» [(/> -► r) <-» (q -» r)J]

17 :: (1)=>(2)

(2)    [(</ ~*r)-*(p-> r)] -> [(q - p) -> [(> -> r) <-> (4 -► r)]]

16 :: 16=>(2)=>(3)

(3)    (p — q) — [(</ -*p)-+ [(/> -> r) <-> (q -* r)]]

16 :: 12=>(3)=>(4)

(4)    (p <-> q) - [(q ->/)) -> [(p -*■ r)*-+(q - r)]]

2 :: (4)=> 13=>73

74.    (/»<-* q) -* [(r *-+s)->(p a r <-* q a 5)] Prawo mnożenia równoważności

stronami

D o w ód. 39 :: 12 => 12 p/r, q/s =>(l)