Excerpt
MauucTepcTBO BHCIeTO K CpeIHero CI6IMANEKHOTO OGPA5OBAKKNA JinroBckoi CCP i BanEEMCCKaH opxeHa TpyxoBoro KpacHoro Baamenn m opxeH HH HapojoB TOcyKKBepcūTeT EM, B.Kancykaca Baexemue B MaTeMATENeCKYD JOTKKy. MeTOxKYeCKHe paKOMEH- 8 (Ka AnTOBCKOM A3uKe), Ė …
Excerpt
32 1 pavyzdys. Perdirbti T(P249)Vt į konjunkty- vią normalinę formą. “1 žingsnis. Eliminuojam implikaciją pagal (9):U1pvą]V2 2 žingsnis, Įkeliame neiginį į skliaustus pagal (15): (pkaę]v1 3 žingsnis. Naudojemės Sia dėsniu (13): (pvs) Ava) 2 pavyzdys. …
Excerpt
64 Pakarioję analogiškus samprotavimus (n-2) kartus, gauname PA: Teorema įrodyta. 614. Kiti teiginių skaičiavimai Teiginių skaičiavimo K formulėse yra „loginės ope- racijos 7,8,V,> 2 Pateiksime vieną teiginių skaičiavimą (nu- rodydami aksiomų schemas ir …
Excerpt
94 tai teorema įrodyta. Todėl nagrinėsime atvejį, kai aibėje M yra daugiau negu 2“ elementų. Kadkngi F yra įvykdoma aibėje M, tai egzistuoja n predikatų 3; aa aibėje M, ku- riais pakeitus predikatinius kintamuosius, F=1 (dar rei- kia pakeisti teiginius ir …
Excerpt
Vieta dokumente 183r-183v Data 1677.05.10 Data 1677.05.10 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas Autorius Trakų vaivadijos generalinis vaznys Ščastnas Kreciunskis Aprašas Aktavimas.Generalinio vaznio ataskaita.. Trakų vaivadijos teismo …
Excerpt
34 jei Pi =, n) arba jo neigi: ys įeina į kiekvieną. elementarią disjunkciją D. (16) Kiekvieną disjunktyvią normalinę formą bei konjunktyvią normalinę formą galima perdirbti į tobulą, naudojantis šio- mis taisyklėmis: K— (Kžplv(K šIp), D - (Ap) L (Dv1pP), …
Excerpt
Vieta dokumente 46r-47v Data 1677.04.02 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionys Petras Boreiša ir Kazimieras Beinartas Aprašas Aktavimas.Skundas. Trakų vaivadijos žemionio Petro …
Excerpt
, 56 Įrodykite teiginių skaičiavime K šias formules: s) TNA = TA, b) (44B) > (BA), ce) (AVB) > (BVA), 2. Remiantis dedukcijos teorema, įrodyti: a) (A> B) > 2((b> 2C)] > (A> 0)), ») (4=(A2C) > (B> (A= 61 2(A=(Bvc). $12. Nepriešiaringumas į Formali teorija …
Excerpt
58 $13. Pilnumas Mes norime įrodyti, kad bet kuri formulė F teiginių skeičiavime K yra įrodoma tada ir tik tada, kai F yra tapa- čiai teisinga. Pagal 16 teoremą, jeigu P įrodoma, tai ji ta- pačiai teisinga. Šiame paragrafe įrodysime, kad kiekviena +a- …
Excerpt
Vieta dokumente 180r-181v Data 1677.05.10 Kalba Tekstas kanceliarine slavų kalba Autorius Trakų pilies teismas. …
Excerpt
r Ra ADP as rb š Ž ye mrakpa 27 „a 33 H P, 35 O(p,ą,r) KK MK ek Bi rek d R A rd +“ K KOR R Roe A PRLĖL yra Lelsinpa tik reikšmių rinkiniui < k, Ė,t5 P £4 “M yra teisinga tik reikšmių rinkiniui < 1 k> ir IpR1g 41 yra teisinga tik rinkiniui < K. K kD, Todėl …
Excerpt
25 4 išvada. Tarkime Ą“/B . Tada ZĄ=Zą. Uždaci niais | 1. Šioms formulėms rasti lygiaverčias, kuriose yra tik loginės operacijos 7,V : Ž a) (p23) 2P. ») p/4, e) p4(3=2P). "d) (Pp241> 0R28? . 2. Formulei pvą žūkti lygiaverčią, kurioje yra tik Šeferio …
Excerpt
“89 Iš tikrųjų, tarkime, Vx P(x) v (0 yra teisinga kurioje nors aibėje M, atitinkamai pakeitus kiatamuosius, ei ginius ir laisvus kintamuosius, Tada Vx P(x) = 4 arba 0=1. Pirmuoju atveju P(x) yra teisingas, esant bet kokiam x iš M. Tada ir PlixX)vŲ yra …
