3582334031
T
metajęzyk 2
T
metajęzyk
T
język przedmiotowy
T
świat rzeczywisty
iiie wolno mieszać poziomów języka
4. UDOWODNIĆ, ŻE FORMUŁA JEST TWIERDZENIEM KRZ, ORAZ SFORMUŁOWAĆ ZASTOSOWANE TWIERDZENIE O DEDUKCJI.
A (Av A)
|
4, A^(AvA) |
(A6) |
|
4„ (Av A) —> A | |
|
1. AvA |
(zał) |
|
2. A A |
(twierdzenie) |
|
3. A-> A |
(2, wł. ) |
|
4 (A —» A) —»[(A —» A) —» (A v A —» A)] | |
|
5 (A->A)->(AvA->A) | |
|
6. AvA-)A |
(3, 5, RO) |
|
7. 4"€ T |
(1-8, TDW) |
|
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. T |
(1-5, def^.TDW) |
(A8)
(3, 4, RO)
Twierdzenie o dedukcji wprost:
Be Cn{X u{Ą, A,.....A„})=> Ą (A -MA -> Cn(X)
Wyszukiwarka
Podobne podstrony:
skanuj0011 (215) Człowiek 122 y — świat rzeczy ril.Mli n
IMG)56 I. Romantyczny „sposób odczuwani, ludni* świat rzeczywisty, to tyle, co okaleczyć ludzi i rze
Kierunek farmacja: I rok Rok akademicki 2<)<)7/2t>0H Nazwa przedmiotu_Chemia ogólna i
Język niemiecki świat przyrody XIII. Świat przyrody klimat, świat roślin i zwierząt, krajobraz, za
obraz1 (9) Swiat, rzeczy wistość Strefo oddzioływoń: myśli, uś w iodo mionie. wortościowonie
naukowej, jako przedmiot badań, w rzeczywistości pokrywają się przynajmniej częściowo i są nie do
16 Przedmowa stanu rzeczy, przeprowadza rzetelną analizę kontekstu, uwzględnia głosy z wewnątrz - ba
Nazwa przedmiotu/modułu kształcenia*) Teoria prawdopodobieństwa Język przedmiotu/modułu
PRZEDMIOT WYKONANIA i Rzeczy oznaczone co do gatunku Jeżeli dłużnik jest zobowiązany do świadczenia
więcej podobnych podstron