Excerpt
TURINYS pvamis i O a a S a A Ž SEYBIOS: TEIGTNTŲ LORTKA Al a 506 $1. $ 2. „aš $ 4. 6 5. $ 6. £7. $ 8. $ 9. “ gi0. $11. 12. Laninėk Aperaci jant > Žan L LE Ekvivalenčios formulės bp Ask TL Tartaktinėd Boliamos + L e a lia 16 Loginės išvados ž aa aa k 19 …
Excerpt
i kg Aiko ii 23 tada n> L=t,42n= k ir (24) 2 (27) =A. „V 85. Tapačiai teisingų formulių taikymas aibių teorijoje Šiame paragrafe nagrinėsime žormules, kuriose loginės operacijos yra tik iš sąrašo 1,V, + , o elementarūs teiginiai = tik 18 Pi ,Pa-Dš, 2 . …
Excerpt
je - moūus ponens. as igiikam nė ana ago sieno, S 65 6) A> (AVD, 7) B= (ĄVB), 8) (A50 > (B201> ((AVB)> A), 9) (A> B1)> 2 ((A> 7B1!> 1A1, | 10) T1A> A, kur A,B,C - bet kurios formulės. Taisyklė vienintelė, Tai - E f Į '"Aprašytuose teiginių skaičiavimuose …
Excerpt
Išsprendę sistemą art+C+4=i Lid=i c+4> 1 d=0 Gauname Ū=4 „4=> 4 „€=4 |, d=O0 „taigi A,VXAr = X, X,KX,+X5. Funkcijų aibė Lit, vadinama uždara, jei kiekviena aibės funkcijų superpozicija priklauso šiai aibei t.y. Erna aibės funkcijų superpozicijai galima …
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ų …
