Excerpt
"E 3 m i 54 3 jam“ ir likusius A „ Lieka TFB 7. Jeigu T-A> 2B „iai T,AF-B. . i Įrodymas. Tarkime, B, B1s+- + B,ų „A> Byra formu= lės A > B žioūdugis iš prielaidų T. Prijungę prie tos ser kos A (kaip prielaidą) bei B (pagal MP taisyklę iš Ai3 B. ir A), …
Excerpt
> : 53 Raide T žymėsime baigtinę (gali būti ir tuščia) žalio lių seką. , Formulės B įrodymu iš prielaidų T vadinsime baigtinę į seką B,, B,,-+- Bm s kurioje kiekviena B,(l+(* "m ) yra arba aksioma, arba viena iš prielaidų, arba gauta iš kairėje jos …
Excerpt
Vieta dokumente 56r-56v Data 1677.04.06 Data 1677.04.01 Kalba Lenkų k., įrašas l. 1v - kanc. slavų k. Autorius Trakų pilies teismas. Autorius Trakų vaivadijos generalinis vaznys Stanislovas Talatavičius Pastaba Trakai. Aprašas Aktavimas.Generalinio vaznio …
Excerpt
Vieta dokumente 182r-182v Data 1677.05.10 Data 1677.05.01 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas. Autorius Gardino maršalkos, Pilypavo ir Pševalkos seniūnas Jonas Kazimieras Kerdiejus Aprašas Aktavimas.Kaltinimas. Gardino maršalkos, …
Excerpt
38 M elementas. Tačiau aibę M |adaro tik antrosios grupės aibės. Prieštaravimas rodo, kad šio spėjimo turime atsisaky- ti. Vadinasi, aibė M yra antrosios grupės ir nėra savo pa- čios elementas. Bet ir to negali būti: juk M yra visų an- trosios grupės …
Excerpt
„5 P, G, Ti. PV (4 £ 74) 11P V (rAI1r) Neo me p las et šok m WNoeėe t mm mue mo e Koa KO m wNoOoX- + + m NONėe +- + k. " Jeigu Formulės Apps Pagii gs) ir BlPi- Pa) yra ekvivalečios, tai. Šis 45 | vadinami fiktyviaia formulšje. A.- Pašeiksiūt | dar vieną …
Excerpt
4 | šiuo atveju = prielaida). Pirmuoju atveju A 2 B, pakeisime A=> B4 įrodymu: B, (akaioma), B,2(A= B.) (1.1*aksiomų schema), A2 B, (pagal liP taisyklę). Antruoju atveju A> B; keičiame analogiška seka (tik B. 1 Trečiuoju atveju A2A keičiame jos įrodymu, …
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ų …