Excerpt
9 Operacijos su teiginiais. Apibrėšime šias logines operacijas: neiginį, konjunkoi- ją, disjunkciją, implikaciją bei Šeferio funkciją. Pritaikę logines operacijas teiginiams, gausime sudėti- niua teiginius. ; ; o 1. Neiginys (inversija) žymimas clnbolių …
Excerpt
26 (PAP P (p= MPP (pvg)* = 10Pv141+ p4$ (p24Y7* = Vap414) = pvą tt Tt Sk KrMk-Ė Nesunku rasti dualią formulę A" ir tuo atveju, kai Ą “ Ž 4 ž - nusakyta lentele. Pavyzdžiui, 1 L Ps G "A(p,ą) t Ė k k t Tuomet A*(P.ą) bus nusakyta tokia lentele ą A“ (p,ą) BE …
Excerpt
Vieta dokumente 180r-181v Data 1677.05.10 Kalba Tekstas kanceliarine slavų kalba Autorius Trakų pilies teismas. …
Excerpt
: i 92 moje, jei FX Wx Mk WMR kur kiekviena W, = srba ANe zV. „ o R - formulė, kurioje nėra kvantorių. | i 3 TEOREMA. Tarkime, egzistuoja algoritmas, kuris bet aaa „formulei F preneks ngpsEtžReJĘ formoje nustato, ar Fr tapačiai , teisinga. Tada egzistuoja …
Excerpt
4 Šios funkcijos yra monotoninės: BL AR Riva. '" šios funkcijos nėra monotoninės: a) x> 4 „nes 4 0020-1457 0= 120, b)xX+4 „nes A «415 00+4=4 20=1+4 Raide M žymėsime visų monotoninių funkcijų klasę. Užduotis. Įrodykite, kad M - uždara aibė. 12 TEOREMA. Jei …
Excerpt
21 mentų kainas (skirtingiems jos gali būti nevienodos), Eni skaičiuojama schemos kaina ir gaunamas įdomus schemos mini- mizacijos: pagal kainą uždavinys: : Uždaviniai: 1. Sudaryti teisingumo lenteles šioms Žas ėiias a) (p> 9) V OP > 048PD, ») 7(p> 7(4VP) …
Excerpt
69 Pavyzdys. n S 2 5= fipvą 14,3 a „1P.P,8 yra tuščio disjunkto įrodymas, nea 1pVą 65,1465,9P yra IPV4,,14 rezolventė, pe5, O yra IP,P. rezolventė. Iš 19 teoremos išplaukia, kad, jei a įrodomas iš 6 dis- junkių aibės £C,,..,C +) „ tai formulė ŽU neįvyk.- …
Excerpt
81 e) KSŲ, d) Xi, e) x dalosi iš y, ž)X4+4 dalosi iš 2. 4. Parašyti Žormulę be laisvų kintamųjų aibėje N, kuri teisinga tada ir tik tada, kai . : a) neegzistuoja vienetas, b) pirminių akaičių aibė baigtinė, e) egzistuoja diūžiausias natūrinis skaičius, d) …
Excerpt
86 T ki Ž las, sak ti ia, a+)=1, t.y. U04,04)]> 1, kas prieštarauja sąlygai V < 10(2,2) į TA(44 „94,)=4- A Uždaviniai š 1.Nustatyti, ar šios Žormulės yra tapačiai teisingos: a) P(x) > 34Pl4), b) VxPix) > IyP(4), e) Vz P(x) = T1341PB), a) (Va Pla) L Vy …
Excerpt
K. BMI AA dry £ ž i 3 + 103 teorijos T uždarų formulių seka, kad Ų(0)=B;, y(2l=Bz,.--. Teorijų Je, Ja, seką nusekysime tokiu būdu. Jo sutampa su T. Tarkime, kad J„ (n2.0 ) nusakyta, Jeigu teo- rijoje J, neįrodoma 1B,,, , tai Ją, gausime iš Hs pEie aksiomų …
Excerpt
4 93 ž : joks kintamasis nėra kartu ir laisves, ir priklausomas, o bet kurie du kvantoriai skiariasi kintamai siais. Teorema įro- Bytas : Uždaviniai: Parašyti preneks normaline forma: a) Tax Vy ae V (Pla) > 42 Oz), | ») x vą Pacų) 8 Ax Vy Aaa), e) Ta Vy …
Excerpt
ų 3 24 .1B,B,£B: ,BvB.kur B,,B., B '- tokios formulės, ku- Neigia O riose yra ne daugiau kaip n loginių operacijų ir, pagal in- dukcinę prielaidą, B(e) yra teisinga tada ir tik tada, kai i eeZ„, B,(e)l teisinga tada ir tik tada, kai €€ Zg,, BikEii“ tada …
Excerpt
Vieta dokumente 138r-138v Data 1677.05.02 Data 1677.04.29 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos generalinis vaznys Jonas Jokūbas Milevskis Pastaba Trakai. Aprašas Aktavimas.Generalinio …
Excerpt
f. 2 "A 61 Bb =B,CzC Duota (pagal indukcinę prielaidą)T-B,T-TC. Reikia įrodytiT-Bb> 2C arbaT,BF-C . Tai išplaukia iš ant- ros įrodymų iš prielaidų savybės (žr. $11). . d) M=1,W-=0 | šiuo atveju ATA te. A“= 1(82c),B“+B, C*1C. Duota (pagai indukeiūę …
Excerpt
80 kad formulėse kintamieji yra pažymėti taip, kad kiekvienas kintamasis arba tik laisvas, arba tik priklausomas. Be to, skirtingi kvantorių simboliai susieja skirtingus kintamuo- sius. Uždaviniai. l. Kurie kintamieji yra laisvi ir kurie priklausomi a) Vx …
Excerpt
VU BIBLIOTEKA JoK 9135 …
Excerpt
85 Taigi mes mokame nustatyti,ar formulė (yra tapačiai tei- singa duotoje baigtinėje aibėje, ir tuo pačiu mokame nustatyti, Ž ar ji yra tapačiai klaidinga, ar yra įvykdoma duotoje baigti- | "nėjo aibėje. 2 Ar kiekviena įvykdoma formulė yra įvykdoma „ir …