Excerpt
235 "1 "(PAM k... RM) V p RM AMV Mžus VMS (17) 3 daridiė, A yra tapačiai teisinga. Tada, esant bet ko- | kioms elementarių teiginių reikšmėms, D įgyja Ė „t.y. kiek- ; vieną kartą bent. viena. iš elementarių disjunkcijų M. lygič. Ė Jei Mę=t „kur R?1 , tai …
Excerpt
28 AGA, TOS mis Pot TA UTO (Pu, Pie), T (pa, pt) m GT (A (Ps, Pie, Karo 1 (Pms,---, Pmtoa)) = Teorema įrodyta. 2 Kadangi disjunkcija ir konjunkcija yra vie:a kitai dua- lios operacijos, tai teisingas toks tvirtinimas: jei = 2 kurioje yra tik loginės …
Excerpt
diedas soli i i į 4 į 91 iės 15 tik jos. 1 TEOREMA. Tarkime, egzistuoja algoritmas, kuris/bet ko- kiai formulei, kurioje nėra teiginių, nustato, ar ji tapačiai teisinga. Tada egzistuoja algoritmas, kuris bet kuriai formu- lei F nustato, ar ji tapačiai …
Excerpt
AE A 97 4 TEOREMA. Tarkime, kad formulė F gauta iš tapačiai teisin“ go sūdė bantai teiaikčo Alpis---Pr) ,„ pakeitus P, P2,---, Pa AA FRF, . Tada F įrodoma predika- *tų skaičiavime I 5 Įrodymas. Kadangi teiginių K kafėlavinkų L pilnas ($14), tai jame …
Excerpt
Vieta dokumente 92r-92v Data 1677.04.15 Data 1677.04.06 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionis Jonas Bankauskas Pastaba Trakai. Aprašas Aktavimas.Skundas. Trakų vaivadijos žemionio …
Excerpt
= m p. ar R - + "L „7 3. P > (P Va) 4. G > 9) > (14232) 5 P > (> D). Tapačiai teisinga formulė vadinama taip pat logikos dėsniu. Logikos dėsniu vadinama ir pora ekvivalenčių for- milių AB. Formulė vadinama is aliiass jeigu, esant bet kokioms ją sudarančių …
Excerpt
VU BIBLIOTEKA 003 07819548 7 …
Excerpt
10 Kaip matome, į teiginius mer žiūrime kaip į kintamuo- sius, kurių kitimo sritis yra aibė [+, kį . kai kada bus patogiau teiginių kitimo sritimi laikyti aibę [1, 04, 4.3. + keisime 1, o k - 0, "Dažnai muns bus net neavarbu, kokis tai aibė, 6 …
Excerpt
Vieta dokumente 161r-162v Data 1677.04.07 Data 1677.04.30 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas Autorius Artilerijos generolas Motiejus Gosievskis Aprašas Aktavimas.Pareiškimas. Ponų LDK artilerijos generalinio vaznio Motiejaus …
Excerpt
Vieta dokumente 168r-168v Data 1677.05.09 Data 1677.04.28 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas Autorius Trakų vaivadijos generalinis vaznys Jonas Kareiva Aprašas Aktavimas.Generalinio vaznio ataskaita.. Trakų vaivadijos teismo …
Excerpt
67 moje. i o “ Vietoje įprastos formos 4 EO E elementarios Ši aiūskėi jus) naudosimės šekių "konjunktyvios nermalinės for- | mos ušrašymu EL, aka Er aa priimta rezoliucijų metode vadinti diajunktais, o į juos. įei- nančius loginius kintamuosius arba jų …
Excerpt
21 Įrodymas. Kadangi TA“TIB tada ir tiktai tada, | kai A=B , tai lieka įrodyti, kad AlPi, Ip) > Blaps Pa), kai Alpig:--, pa) B Pa.-- Pa). Kadangi A(1P4,.--,1Pn) įgyja tas pačias reikšmes kaip ix BP ,--.,0Pn) „esant bet kokioms teiginių "A + reikšmėms, tai …
Excerpt
Vieta dokumente 157r-157v Data 1677-05-07 Data 1677-01-01 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas Autorius Trakų vaivadijos generalinis vaznys Adomas Soroka Aprašas Aktavimas.Įrašas apie atliką pavedimą. Trakų …
Excerpt
1 to einančią formulę. Formulės visada turi vieną reikšnę, o samprotavimai dažnai būna įvairių netikslumų šaltinis. Ar galima rasti tokias samprotavimų (iogikos) taisykles, užra- šomas formulėmis, kurioniė naudijasi mątematikas, įrodinėda- mas teoramas. …
Excerpt
Vieta dokumente 143r-143v Data 1677.05.04 Kalba Lenkų k. Autorius Trakų pilies teismas. Pastaba Trakai. …
Excerpt
74 II SKYRIUS. PREDIKATŲ SKAIČIAVIMAS $1. Kvantoriai. Predikatai Šiame skyriuje apibendrinsime teiginio sąvoką. Nagrinė- sime teiginius, priklausančius nuo parametro. Be to, laikysi- me, kad yra duotos tų parametrų kitimo sritys. Pavyzdžiui, "x pirminis …
Excerpt
30 sudėtinį teiginį (Zormulę), kur N, (1*" …
Excerpt
Vieta dokumente 213r-213v Data 1677.05.12 Data 1672-05-08 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas. Autorius Žemaičių žemės ir Trakų vaivadijos žemionis Motiejus Ozemblovskis Aprašas Aktavimas.Skundas. Žemaičių žemės ir Trakų vaivadijos …
Excerpt
> 83 Predikatinį kintamąjį P keičiame į L, 4 į 1, tada-F = 1. Taigi F nėra tapačiai klaidinga aibėje N. F nėra ir tapačiai teisinga aibėje N, nes, jeigu g priskirsime O-reikšmę, P-L, tai | P:ž: 04 2 i F = I+PG) > Vy Ry). F tapačiai teisinga bet kurioje …