Excerpt
40 Iš tikrųjų, jeigu, esant reikšmėms < Bs.---, Pn? funkcija lygi 1, tai tos reikšmės sutampa su S reikšmių sekos nariu, ir formulė įgyja 1 reikšmę, nea £! af tada ir tik tada, kai 4=B . Jeigu f(P4,.-,Bn)]=0 bad …
Excerpt
2 VA , Mes norime įrodyti, kad Pr AI Rai FA. Tam pakanka parodyti, kad - (P„> 2A]=(0P-241> A) „nes, pasinaudojus MP taisykle, iš šios formulės ir (29), (30) nesunku gauti norimą rezultatą. Visų pirma įrodysimę: : J LUDB2O)> ( 088120) « a!) -U> (B20)> …
Excerpt
Vieta dokumente 16r-16v Data 1677.03.25 Kalba Lenkų, kanc. slavų k. Autorius Trakų pilies teismas. Pastaba Trakai. …
Excerpt
70 4) disjunktai, į kuriuos įeina.ir R, ir Pra Ek B E Jei pirmas poaibia tuščias (panašiai nagrinėjamas ir at- vejis, kai antras poaibis tuščias), tai formulė ž mų yra neįvykdoma 1 ją įeina ne daugiau kaip Ą i 10- ginių kintamųjų. Jai galioja indukcinė …
Excerpt
Aki 20 a tinkančią Zormulę. ; i „Teisingas ir atvirkščias tvirtinimas: jei turim formu- | lę, kurioje yra tik loginės operacijos V, £ s ir neigi- mai yra tik prieš elementarius teiginius, tai galima sudary- š +1 ją atitinkančią schemą. 1 „ Kontaktinės …
Excerpt
Vieta dokumente 51r-52v Data 1677.04.03 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Aprašas Aktavimas.Testamentas. Trakų vaivadijos žemionis Kristupas Jonavičius Grinkevičius žemes ir turtą palieka žmonai Ona Verseckytei …
Excerpt
: ž- 106 tarauja prielaidai. Teorijos £ formulės turi vieną = Žžormų: . 1. Plė,č,--„€1, kur P - predikatinis kintamasis, G ŪmA > natūriniai skaičiai, sa 2. V urlas TVx1PI> ) užrašymą. i :Teiginiui PLL) E liejo I Daškkus tais ko tiktai tada, kai jis I …
Excerpt
100 6. Vx, A (iš 5 pagal 2 taisyklę); 7. Vax, Va, A (iš 6 pagal 2 taisyklę). II. E Vx(A(x)> B[x)) > (Vx A) > V=B(=)). Remiantis 6 teorema, pakanka įrodyti: Va (Al) 2860), Vx A) - VxB[=]. 1, Vz Al = Afx) (iš 1 aksiomų schemos) 2. Va Ala) (prielaida) 3 o 3. …
Excerpt
Vieta dokumente 173r-173v Data 1677.05.10 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionis Piatšycas? Aprašas Aktavimas.Skundas. Trakų vaivadijos žemionio Piatšyco su žmona Belosopočkovaite …
Excerpt
yi Norint patikrinti ar formulė A (p4,---„Pa) yra tapa- čiai teisinga,pakanka sudaryti jos teisingumo lentelę ir pažiūrėti,ar paskutiniame stulpelyje vien tik reikšmės +. "Bet sudarant teisingumo lentelę reikia apskaičiuoti Zoxmu- lės A reikšmę 22 …
Excerpt
Vieta dokumente 78r-78v Data 1677.04.10 Data 1674-02-18 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Pastaba …
Excerpt
68 2, [aPY4. Ipv? C,: Pvą Gi IE VT Nė viename iš disjunktų nėra priešingų literų. Šiems disjunktams negalime taikyti rezoliucijos taisyklės. :Simboliu Ol žymėsime tuščią disjunktą. 3. p.Pp.pva) Er B) Cc. P Cs: pvą (, ir C, rezolventė yra (0. 19.TEOREMA. …
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 …