Untitled Scanned 29

65

(5) (p*-*q) a (r «-» s) -> lip «-» r) 4- (ng v .*) a (n.v v <?)]

33 :: (5) =>80

81.    (p v q) a r*-*(p a r) v (q a r) Prawo prawostronnej rozdzielności

koniunkcji względem alternatywy

Dowód. 57 :: 58 pip v r/, qfr=>G2 p/r, ą/p. r/q=>(\)

(1)    (p v r/) a r«-»(r a p) v (r a p)

75 :: 58 p/r, g/p=>58 p/r => (2)

(2)    (r a p) v (r a q) <-+ (p a r) v (q a r)

57 :: (1)=>(2)=>81

82.    |p a q) v r *-v (p y r) a (r/ v r)    Prawo prawostronnej rozdzielności

alternatywy względem koniunkcji

Dowód. 57 :: 59 p/p a r, <y/r =>61 p/r. ty/p, r/q =>(1)

(1)    (p a q) v r*->(r v p) a (r v <y)

74 :: 59 p/r, q/p =* 59 p/r =>(2)

(2)    (r v p) a (r v </) <-♦ (p v r) a (<y v r)

57 :: (1)=>(2)=>82

5