Excerpt
Vytautas Kardelis RYTŲ AUKŠTAIČIŲ ŠNEKTŲ SLAVIZMŲ FONOLOGIJOS BRUOŽAI Serijos dailininkė Edita Jurkštienė Išleido Vilniaus universiteto leidykla Maketavo Marija Skirmantienė Spausdino Vilniaus universiteto spaustuvė Universiteto g. 1, LT-2001 Vilnius El. …
Excerpt
13 schema. Sinchroninė lenkų kalbos vokalizmo schema Sis riešakinis| vidurinis |užpakalinis Aukštutinis P = P į у и S . nenosinis e 0 Vidutinis == nosinis е а Žemutinis a Slavizmų integracijos raida $ 61. Prieš pradedant tirti slavizmų balsių integracijos …
Excerpt
$ 109. Trumpai aptarta slavų priebalsių c, č, š, Ž, r istorija aiškiai rodo ir skolinių chronologiją. Aišku, kad pagal dėsnį slavų a (poc, č,š,ž,r) slavizmų kirčiuotas ilgasis e: integruoti slavizmai yra paskolinti tada, kai šie slavų priebalsiai dar buvo …
Excerpt
dės i 11 c) J EA Ek, a yre A NB e) fs €A, BL. 1 Įrodysim, kad aibė F= It fo, fa, Į] (o tuo pačiu ir At) ia Mas da A re ini T k are tiekia, Naja m yra pilna. Kadangi 4, KT, „iai galimi'du atvejai: 1 Ais, 1 Tada Ų(x)]= f (x,...,x) yra lygi konstantai 1, nes …
Excerpt
179 tamųjų. Pvz., vietoje (P(x,4) 0043) | rašysime Pfx,1).£ 0ix), b) praleisti skliaustus, jeigu neiginys yra prieš tei- "ginius arba „predikatinius kintamuosius. Pvz., vaė6ipjė T PE4S-- 01 rašysime TP, An], Ą Vadinsiue formulę A. Kiekvienoje formulėje …
Excerpt
19 (kontaktai sujungti arba išjungti). Apskritai neapsiribosime tik tokiomis grandinėmis, o nagrinėsime elektros grandines, žrtai iš bet kokių Keds Irenos juos CO |), ku- rie gali būti vienos iš dviejų būsenų. Jei elementas yra pirmos būsenos, tai …
Excerpt
"- 59 (a> 214)2 (A2B) (1 lema), A> 26 (pagal MP taisyklę), Lema įrodyta. Tarkime, A - bet kuri E ių Pa.P2 + BN = pilnas sąrašas skirtingų teiginių, sudarančių A. Pažymėkime v P.isje v=1 P s ap = ju v=0 s A za Bie "kys - „Loginių operacijų skaičių …
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 …