Excerpt
sis iki aga 117 kitimo „sritys yra aibė WM. Ž 1. TP(24,22,--, Aa) yra tapačiai teisinga tada ir tik tada, kai P(31,32,...,xn) yra tapačiai klaidinga. TP(XL X) =1 tada ir tik tada, kai PL(,.-,*k)=0 | 2į PRis, 22) lx, „aTa ) yra tapačiai teisin- ga tada ir …
Excerpt
2. Nubraižyti kontaktines schemas: a). "(pL4) => CpAU, | ») ((((p=29)VIP)84)v 14), e) (p2312(4> p), a). ((p24) K (22-)= (pa, ) (p24)> Gp le Va), : 3. Įkelti neiginį į skliaustus: a) Tipvia žm), 5) T1(PR(GV Op V(p ip, e) T(0PV14) L (gv i(paz), d) 1 (Gpv …
Excerpt
57 5.1A> 116 (pagal MP taisyklę iš 1, 4 formulių), 6. TA (prielaida), 7. TB (pagal MP taisyklę iš 5, 6 Aaaa 8. 7152 B (aksiomų schema 4.3, A pakeitėme 8), 9. B (pagal MP taisyklę iš 7,8 formulių). Prieštaringa teorija bloga tuo, kad joje įrodoma bet kuri …
Excerpt
87 $4. Lygiavertės formulės Jeigu, pakeitus predikatinius kintamuosius kuriaią nora predikaiais aibėje M (vietų skaičius predikatuose turi būti toks pat, kaip ir is una žibs predikatiniuose kintamuosiuo= se), teiginius:kuriomis nors reikšmėmis iš [0,13 ir …
Excerpt
I SKYRIUS. TEIGINIŲ SKAIČIAVINAS Ė $1. Loginės operacijos rei gtinys £ pirminė matematinės logikos sąvoka. Dažnai jis paaiškinamas taip: teiginiu vadiname sakinį, ku- rio atžvilgiu prasmingas klausimas: "Teisingas jis ar klai- dingas?". 3 : Pateiksime …
Excerpt
ir seką G,,.:.,0„ (a, € M) , kad, pakeitus formulėse F predikatinius kintamuosius E predikatais 0,0... 0. „teiginius Pi,pa,. „p reikšmėmis Vim, laisvus kintamuosius x, „aso. X, aibės M elementais. a,,01,. „0, , gautos formulės reikšmė tūžų, lygi vienetui. …
Excerpt
Vieta dokumente 185r-186v Data 1677.05.10 Data 1666-05-25 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionis Jonas Zaborovskis Aprašas Aktavimas.Pirkimo - pardavimo raštas. Trakų vaivadijos …
Excerpt
Z LIETUVOS TSR AUKŠTOJO IR SPECIALIOJO VIDURINIO MOKSLO MINISTERIJA VILNIAUS DARBO RAUDONOSIOS VĖLIAVOS IR TAUTŲ DRAUGYSTĖS . ORDINŲ VALSTYBINIS V.KAPSUKO UNIVERSITETAS S.NORGĖLA MATEMATINĖS IogTK0S ĮVADAS (Metodinės rekomendacijos skirtos matematikos, …
Excerpt
76 roms argumentų kitimo sritims. . / Tarkime, Pla, X) - n-vietis predikaias, kurio ar- gumentų kitimo sritis yra aibė M. Predikatas vadinamas: 1) tapačiai teisingu, jei bet kuriam kintamųjų rinkiniui jo reikšmė yra li, š 2) tapačiai klaidingu, jei bet …
Excerpt
72 5,6 funkcijos yra konjunkcijos spibendrinimas. 7) max (x,*;) - disjunkcijos apibendrinimas. 8) X;+x, (mod K). : Kaip matome,, dvireikšmės logikos funkcijos turi po ke- lis analogus daugiereikšmėje logikoje. Punkcijų aibė [16,6 3 vadinama pilna, jei bet …
Excerpt
Vieta dokumente 155r-155v Data 1677.05.06 Data 1677.04.30 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas Autorius Trakų vaivadijos vaznys Sčastnas Kreciunskis Aprašas Aktavimas.Vaznio ataskaita.. Trakų vaivadijos vaznio …
Excerpt
6 ravo matematikos pagrindai, Daugelis tyrinėtojų laikė, kad pa-- radoksų priežastis slypi logikoje. Buvo reikalinga visapusiš- k logikos pagrindų analizė. Logika nagrinėja žmogaus mąstymą, tiksliau - mąstymo for- mą. Žodis "logika" kilęs iš senosios …
Excerpt
66 : pa A AA, P> A,B6,4, i F> A,, ALB, A, S Žiirgės į D/5K/BSB-—21 A. (> ) L AAA. Riza £ E AAB: Az (> ) ; F> A, AXB, AZ AMARA o) [L „AVB, A iu? A,,A (> 1) EB AIA A i (B =iAj A,A: (> =) $15. Rezoliucijų metodas Daugelio įdomių uždavinių sprendim.s ( tarp …
Excerpt
Eik ATS A a ias > 2 45 Nagrinėsime Zunkciją Gix)=£0€4, 1. Ka „usa, Val Ųiol= f 4... Teo 20 0 A ne 4( Y;) 7 4( Šri) = = La, Ya, 1, Var, . .,Šal = pu). Tai reiškia, kad ((0)=1 „o Y(4l=0 , kys Ų(x) =7X. Teorema įrodyta. 5. Aibė L. ; Tai visų tiesinių …
Excerpt
52 ponens (MP): 2 A A=B:6B, kur A ir B - bet kurios formulės. š Įrodymu teiginių skaičiavime K (žr. praeitą paragrafą) vadinsime baigtinę formulių seką, kurioje formulė yra arba aksioma, arba gauta iš kairėje jos stovinčių formulių pagal Balis ponens …
