3582334037

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

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

____    Koniunkcja

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

Im więcej założymy, tym więcej udowodnimy

X cY => C_n(X)<zC_n(Y) _ Dowód

P 3j.fc<(Aj - A=> A

3. SPRAWDZIĆ. ŻE PRAWA DE MORGANA SĄ TAUTOLOGIAMI DWU ELEMENTOWEJ ALGEBRY ZDAŃ.

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

A a v

P	q	pq	~(pq)	~p		~ P~ Q	-
1	i	i	0	0	0	0	1
1	0	0	i	0	1	1	1
0	i	0	i	1	0	1	1
0	0	0	i	1	1	1	1

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