Excerpt
14 PĖP P (5) PVP P o (6) TP — P 0 (1) PVa- 0234 š (8) P> 23— 0P Vą 29) P24 —134A0P | (10) pPVą=—1(0p 414) (11) pką-—Aū(ūpvia) (12) (p£ ą)vr- (PVr) £ (ąvr) (13) (Va) k r — (pžr)vią Ę£ 7) (14) "Teva P k14 (15) Meka) ūpvaą (16) ARS ekvivalentiškumo sąvoką …
Excerpt
Vieta dokumente 158r-158v Data 1677-05-07 Data 1677-01-02 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų vaivadijos generalinis vaznys Adomas Soroka Aprašas Aktavimas.Įrašas apie atliką pavedimą. Trakų vaivadijos teismo generalinio vaznio …
Excerpt
39 Dvi logikos algebros funkcijos vadinamos lygiomis, jei- gu jas alitinkšnoiks lentelės yra lygios. n argumentų logi- kos algebros funkcijų skaičius yra lygus 2 * „ Tai labai greitai auganti funkcija. Vieno argumento logikos algebros funkcijų yra 4, …
Excerpt
Vieta dokumente 79r-79v Data 1677.04.10 Data 1676-12-18 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionė Dorota Zaleskytė Samuelienė Hebrovskienė Aprašas Aktavimas.Skundas. Trakų vaivadijos …
Excerpt
S ir tik tada, kai F yra tapačiai teiaingas, arba nei P, neilF nėra tapačiai teisingas, Lema įrodyta. - Nustatyti, ar formulė yra tapačiai teisinga - vienas pag- rindinių metematinės logikos tikslų, Įrodinėjant +eoremas ES mašinomis, pėkanka mokėti …
Excerpt
37 b) Nepirminiai skaičiai yra sudėtiniai. Skaičiai, dalūs iš 2, yra sudėtiniai šitai šiai, dailūs iš 5, taip pat yra su- dėtiniai. Vadinasi, skaičiai dalūa iš 2, yra dalūs ir …
Excerpt
jos sksiomos bei išvedimo taisyklės atrodo teisingos. 'Pateikkimė keletą antinomijų pavyzdžių. | Tarkime, kad kaimo kirkėjas skuta visus savo kaimo vy- rus, kurie nesiskuta patys. Pamėginkime atsakyti į klausimą, * ar kaimo kirpėjas pats skutasi. Tarkime, …
Excerpt
207 ( e ieorema, teorija L" yra „patenkinema natūrinių skaičių: aibėje "(ir tuo pačiu 1£ įvykdoma ). Kadangi F yra tapačiai teisinga Ee kurioje aibėje, tai ji +apačiai: teisinga ir natūrinių skai- ių aibėje, t.y. vienu. metu F = 1 ir B= 1. Iš čia …
Excerpt
> » i | : - š | Kaga “ $0,1,..-,R-1]) vadinsime daugisreilkšmės logikos arba k-reikš- mės logikos funkcijomis. Atveju, kai k = 2, gauname Zunkci- jas, kurias nagrinėjome ankstesniuose paragrafuose. Daugelis rezultatų galioja ir daugiareikšmei logikai, …
Excerpt
Vieta dokumente 44r-44v Data 1677.03. Data 1677.03.18 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Aprašas [Sunkiai skaitomas, beveik nematomas raštas] Pastaba …
Excerpt
ai 9 TEOREMA, Kiekvieną Kiėų galima perdirbti į dia- „Junktyvią normalinę formą. ; , . Įrodymas. Tarkime, A - bet kuri formulė. Nurodysime : algoritmą, kuriuo Ą galima perdirbti + disjunktyvią nor- malinę formą. 1 žingsnis. Randamė A,“A |, kurioje yra tik …
Excerpt
oe e t t ik k t k k Tokia loginė jungtis šnekamojoje kalboje nenaudojama. Teiginių; loginių konstantų t, k, loginių operacijų bei skliaustų pagalba sudažyšime ' reiškinius, kuriuos vadin- sime formulėmis (teiginių logikos formulėmis). Tiksliau: - a) …
Excerpt
41 X X XtX, 2751 0 NS Jao 1 0-2 il: 0. 0 0 „Taigi neiginys bei konjunkcija yra duotos aibės su-' perpozicija. Pastebėsime, kad *, A 3 Formulėje, ; kurią įeina tik konstantos 0, 1 ir funkci- jos X,X, bei X tr „ atlikę algebrinius-perdirbimus, gaus: 'name …
Excerpt
Vieta dokumente 60r-60v Data 1677.04.08 Data 1677.03.04 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos generalinis vaznys Jonas Kareiva Pastaba Trakai. Aprašas Aktavimas.Generalinio vaznio ataskaita. …
Excerpt
: 101 "Įrodymas. Remiantis 4 teorema, aksiomos, kurios gautos iš 1-3 aksiomų schemų, yra tapačiai teisingos. Nesunku įsiti- "kinti, kad kiekviena formulė, gauta iš 4 aksiomų schemos, yTa tapačiai teisinga, nes, jei VaAlx)=/. tai būtinai ir A6)=/. …
Excerpt
96 $7. Predikatų skaičiavimas L Šeštame paragrafe aprašėme algoritmą, kuris nustato, ar duota formulė tapačiai teisinga, ar ne. Šis algoritmas taikyti- nas tik atskiru atveju, kai formulėse yra tik vienviečiai pre- dikatiniai kintamieji. Ar egzistuoja …
Excerpt
43 B(o a El 00 Eal0 01) = Pla, 0 = 0. 2. Aibė Tą. ) Apibrėžimas. f£lx4,...,*4) € T, tada ir tiktai tada, kai £4,...,1) = 1. Gauname kad 0 k 1€T, xe T, ax AT,,x 4 ET, „avy ET, x+4 4 [0 ir t.t. Aibė uždara, nes, jei f(*4,..-,Xm) Ei Bal aklej, be DE, vp Atai …