3582334026

D , niech A, B, C należy do F, wówczas T jest najmniejszym zbiorem spełniającym warunki:

(Inaczej napisane;-))

TcF KRZ:

1. Alfabet

Z Zbiór formuł (gramatyka, syn taksa)

3. Zbiór twierdzeń l    F (metoda aksjomatyczna)

Zbiór T <zF j₍>_si najmniejszym zbiorem spełniającym warunki: (dalej już lak samo, tylko początek jest „ inny”)

ąjjA—»(B—>A) er

A2)    ~^    ~^ C)1 —> [(A —> B) —> (A —> C)] e T

A3) Aa 8 —> A e T A4) Aa8 —>B e T

A —»(B —» A a B) g T

A6) ^{A A} v B eT A7) B -> AvB eT

_A8) (A->C)->[(B^C)->(AvB->C)] er _A9) (: A-»B)-»[(: AB)->A] er

Reguła odrywania AcT, A — B e T => BcT

3. ZDEFINIOWAĆ KONIUNKCJĘ I ALTERNATYWĘ ZA POMOCĄ FUNKCJI ŁUKASIEWICZA.

Alternatywa

Vp	^(1	pq	p II q	(p||q)ll (Pil q)			-
1	1		0				1
1	0	1	0	1			1
0	1	1	0	1			1
0	0	0	1	0			1
Koni un kej a
Ap	q	l^,(ł	p II ^(l	p II p	q II q	(Pil p) II (qII q)			-
1		1	0	0	0				1
1	0	0	0	0	1	0			1
0	1	0	0	1	0	0			1
0	0	0	1	1	1	0			1