Excerpt
48 ce) A= [0,X, x VA, XV, VAS, 3 Ž 1212 ta ka, „Aka, e) A= [X4, z tRĘ "5, rA A aa4 ias, T) 2 eA tada ir tiktai tada, kai L[0,---,0)=4(4,-- 3. Perdirbti į Žegalkino polinomą ir k a, ar priklauso aibei L šios formulės: a) 1P2313,, b) 1p £09v(1> p)), e) …
Excerpt
, Ė 75 Predikatų pavyzdžiai: ai. 1. Argumentų kitimo sritis - realių skaičių aibė R. a) lygybės predikatas Li=i4) Liz4)=1 tada ir tik) "tada, kai X=4. ») Pl244)]=i tada ir tik tada, kai X g. c) Mix) =1 tada ir tik tada, kai …
Excerpt
50 . (19) sekoje. Jeigu (19) yra įrodymas, tai P. vedinama įro- doma; 0 (19) seka - formulės įrodymu. 1 pavyzdys: A=(!, J F - visi žodžiai abė- cėlėje A, Alt= [V , T=(P-PP). Kintamųjų kitimo sritis - žodžių abėcėlėje (p aibė. Tada II, IIII yra žo- džio. …
Excerpt
90 kintamuosius), 2 logiškai klaidingas, jei yra LST klai- dingas žormulės atskiras atvejis. Jei KR-R „taaĄ> R yra tapačiai teisinga formulė.“ Taigi .iš 1-12 pavyzdžių galime gauti daug logiškai teisingų | ivirtinisų. „Uždaviniai Nustatyti, ar logiškai …
Excerpt
Nų Sudėtinis teiginys pMą teisingas tada ir tik tada, kai teisingas lygiai vienas iš teiginių p ir 4. Ss Mm pl t kan Cl joo žymima simbolių > (-—> į; > ). p= 4 perskaitomas: "jei p, tai 4", "iš p išplaukia ą". Ter- minas "iš p seka 4" irgi vartotinas, …
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 …