112654

p	q	p ^Aq	(p ^A q) —p
0	0	0	1
0	i	0	1
1	0	0	1
I	1	1	1

JEST TO PRAWO LOGICZNE

p -*■ (p ^A q)

P	q	p^Aq	p -> (p ^A q)
0	0	0	i
0	i	0	i
I	0	0	0
1	1	1	i

NIE JEST TO PRAWO LOGICZNE

Jeżeli pada deszcz to pada deszcz lub pada śnieg, (przynajmniej jedno pada) p-> (p vq)

p	q	P vq	P — (pvq)
0	0	0	1
0	i	1	1
I	0	1	1
1	i	1	1

JEST TO PRAWO LOGICZNE

Pada deszcz lub śnieg to pada deszcz.

P	q	P v q	(P v q) — p
0	0	0	1
0	i	1	0
1	0	I	1
I	1	1	1

NIE JEST TO PRAWO LOGICZNE

Jeżeli oddycha to żyje <->jeżeli nie żyje to nie oddycha. (p->q)    <->    (~q —> ~ p)

(I— II) <-► (~II— ~I) PRAWO TRANSPOZYCJI