21200

Dowód wybranej:

A,=AiV_lsn/

l^lb 3,.k<i^A, =A => A

p ^_t.k<i^Ai =\=^> Ą

3.    W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ PRAWA DE MORGANA ORAZ SPRAWDZIĆ JEDNO.

~(AuB) <=> ~ An ~ B ~ (An B) <=> ~ Au ~ B

Dowieść jednego:

drf doprfcumu    \j    uiaofogM

xe[~(AuB)] <=> ~[xg (AuB)]« ~(xe A V x€ B) «•

n    drf doprhimu

~ xe A a ~xeB«xe~A axe~B <=> xe(~An~B)

4.    KORZYSTAJĄC Z TW. O DEDUKCJI, PODAĆ DOWÓD FORMUŁY.

[za rozwiązanie dziękuję Marcinowi W^;ątorkowi]

[(A -» B) -»C] -»(: A —> C)

: A —»(A —» B)

j (A —» B) —>C

2. : *

5. C

6.    4'eT (zał)

(zał)

(tw. pomocnicze) (2, 3, RO)

(1, 4, RO) (1-5, TDW)