21206

Koni im keja

p	Lp	Mp
0	0	0
w	0	1
1	1	1

Lp - jest konieczne, że p Mp - jest możliwe, że p

2. SFORMUŁOWAĆ ZASADĘ „IM WIĘCEJ ZAŁOŻYMY, TYM WIĘCEJ UDOWODNIMY ORAZ FORMALNIE JĄ UZASADNIĆ.

A to jest zadanko wysiane nam na maila przez sama Mróweczkę :

Tw. Jeżeli X Y to C„(X) C,(Y)

Dowód

1.    X Y (założenie)

2.    Co(X) C„(Y) [A C«(X) A C„(Y)] (definicja)

3.    A C„(X) (założenie)

4.    nN Ai.....A„F: A«=A oraz in: A,TX lub j, k<i: A,=AkA, (def.)

5.    A,TY (1,3)

6.    A C„(Y) (5, def.)

7.    (X Y G,(X) C„(Y)) udowodnione na podstawie kroków 1-6 wprost

3. SPRAWDZIĆ, ŻE PRAWA DE MORGANA SĄ TAUTOLOGIAMIDWUELEMENTOWEJ ALGEBRY ZDAŃ.

~ (p a q) <=> ~p v ~q ~(pvq)<=> ~p a ~ q

A A V

P	S	PS	~(pq)	~P	~q	~p~q	-
1	i	l	0	0	0	0	1
1	0	0	i	0	1	1	1
0	1	0	i	i	0	1	1
0	0	0	i	i	1	1	1

V V ^AP	q	pq	~(pq)	~ p	~q	~ p~ q	-
1	i	i	0	0	0	0	1
1	0	i	0	0	i	0	1