3582334034

3. ZDEFINIOWAĆ KRESKĘ SHEFFERA ZA POMOCĄ OPERATORA ŁUKASIEWICZA.

p	q	p 1 q	p II q	p II p	q II q	(p II p) II (q II o)	(PIIP) II (q II q)]|| [(p||p) II (q II q)]	-
1	i	0	0	0	0	i	0	1
1	0	i	0	0	i	0	1	1
0	i	i	0	1	0	0	1	1
0	0	i	i	1	1	0	1	1

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

A <-> (A v A)

4-A^(AvA)	(A6)
4„ (A v A) —> A
1. AvA	(zał)
2' Air* A	(twierdzenie)
3. A-> A	(2, wł. )
4 (A^A)^[(A->A)^(AvA->A)]
5 (A —» A) —»(A v A —» A)
6. A v A —> A	(3, 5, RO)
7. 4"€ T	(1-8, TDV\0
4
1. 4'	(zał)
2. 4"	(zał)
3 4' —»(4" —>4'a4")	(A5)
4 4" —> 4'a 4"	(1, 3, RO)
5. 4'a4"	(2, 4, RO)
6. 4€T	(1-5, def^,TDW)

(A8)

(3, 4, RO)