Excerpt
68 2, [aPY4. Ipv? C,: Pvą Gi IE VT Nė viename iš disjunktų nėra priešingų literų. Šiems disjunktams negalime taikyti rezoliucijos taisyklės. :Simboliu Ol žymėsime tuščią disjunktą. 3. p.Pp.pva) Er B) Cc. P Cs: pvą (, ir C, rezolventė yra (0. 19.TEOREMA. …
Excerpt
70 4) disjunktai, į kuriuos įeina.ir R, ir Pra Ek B E Jei pirmas poaibia tuščias (panašiai nagrinėjamas ir at- vejis, kai antras poaibis tuščias), tai formulė ž mų yra neįvykdoma 1 ją įeina ne daugiau kaip Ą i 10- ginių kintamųjų. Jai galioja indukcinė …
Excerpt
“89 Iš tikrųjų, tarkime, Vx P(x) v (0 yra teisinga kurioje nors aibėje M, atitinkamai pakeitus kiatamuosius, ei ginius ir laisvus kintamuosius, Tada Vx P(x) = 4 arba 0=1. Pirmuoju atveju P(x) yra teisingas, esant bet kokiam x iš M. Tada ir PlixX)vŲ yra …
Excerpt
94 tai teorema įrodyta. Todėl nagrinėsime atvejį, kai aibėje M yra daugiau negu 2“ elementų. Kadkngi F yra įvykdoma aibėje M, tai egzistuoja n predikatų 3; aa aibėje M, ku- riais pakeitus predikatinius kintamuosius, F=1 (dar rei- kia pakeisti teiginius ir …
Excerpt
98 Jeigu F - aksioma, taikh(F) - tapačiai teisingas sudėtinis tei- ginys, Tai akivaizdu aksiomoms, kurios gautos pagal 1-3 aksio- mų schemas, o likusioms aksiomoms: K (YxA) 2Ala)= A3A ir K(Vx(A28)A(A2 Y=B)) = =(A> B)2 (A> R) Jei formulė G gauta pagal …
Excerpt
100 6. Vx, A (iš 5 pagal 2 taisyklę); 7. Vax, Va, A (iš 6 pagal 2 taisyklę). II. E Vx(A(x)> B[x)) > (Vx A) > V=B(=)). Remiantis 6 teorema, pakanka įrodyti: Va (Al) 2860), Vx A) - VxB[=]. 1, Vz Al = Afx) (iš 1 aksiomų schemos) 2. Va Ala) (prielaida) 3 o 3. …
Excerpt
: ž- 106 tarauja prielaidai. Teorijos £ formulės turi vieną = Žžormų: . 1. Plė,č,--„€1, kur P - predikatinis kintamasis, G ŪmA > natūriniai skaičiai, sa 2. V urlas TVx1PI> ) užrašymą. i :Teiginiui PLL) E liejo I Daškkus tais ko tiktai tada, kai jis I …
Excerpt
MauucTepcTBO BHCIeTO K CpeIHero CI6IMANEKHOTO OGPA5OBAKKNA JinroBckoi CCP i BanEEMCCKaH opxeHa TpyxoBoro KpacHoro Baamenn m opxeH HH HapojoB TOcyKKBepcūTeT EM, B.Kancykaca Baexemue B MaTeMATENeCKYD JOTKKy. MeTOxKYeCKHe paKOMEH- 8 (Ka AnTOBCKOM A3uKe), Ė …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevicaité-Ivanauskiené’s Point of View 47 elementais stepės, nusidriekusios per dabartinės Rusijos teritorijos šiaurvakarinę dalį. Tų šaltųjų stepių flora buvo gimininga dabartinių Vidurio Azijos dykumų, …
Excerpt
48 Lietuvos augalinio rūbo struktūra: profesorės Marijos Nactkevičaitės-Ivanauskienės požiūris Subborealiniu laikotarpiu (IV-III zonos) sausesnio klimato sąlygomis mažėjo mišrių ąžuolynų su kilniaisiais lapuočiais ir lazdynu, taip pat kiminų liekanų. Vėl …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevicaite-Ivanauskiené’s Point of View 49 3.2. Lietuvos augalinio rūbo botaniniai geografiniai ypatumai Žemės augalijos suskirstyme atsispindi zoninis ir sektorinis formacijų tipų išsidės- tymas. …
Excerpt
50 Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris ca). Šiaurinėje temperatinės zonos dalyje, į kurią įeina ir šiaurinė Lietuvos dalis, turime ekotoną, kuriame greta plačialapių miškų auga mišrūs plačialapių ir …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevicaité-Ivanauskieneé’s Point of View 51 paprastasis skroblas paplitęs tik pietvakarinėje Lietuvos dalyje (3.3 pav.), į Latviją vos įsiterpia vakaruose iki Liepojos. Šiaurinėje Lietuvos dalyje gausėja …
Excerpt
Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris a2 (o “wh) seyniados sturuAqyitus = suaasaub9 snaoydoukio) (čo 1) opzivas ifojse.ded — SIADBINA DIUAULLY (ow ‘fo *UI1) pylusie JUTUJUN, — DUDJUOW DITUAY (fo 1) sp] …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkeviéaite-Ivanauskiené’s Point of View 29 (Ribes alpinum). Dėl tokio kalninių rūšių išrankumo geografinei aplinkai jomis galima pasinaudoti panašiai kaip endemais bei reliktais botaniniam geografiniam …
Excerpt
Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris 54 (174) (EgLI JULIPYEA JI gun.) elaujį Jumis — §1]Da40q DaDuUlT (51) slusyazo sisv}odiey — SNSODNAAAA snucuong (51) ysIejdexijd gurysru — DIDĮJNONO DUJUDUODN (o 1) …
Excerpt
5 Structure of Lithuanian Vegetation Cover: Marija Natkevicaite-Ivanauskieneé’s Point of View (our ‘Zo -d) SPJUDŲJOS STUIU[EY —umnuidyp saqry (0 14 aBjruusjonįs 1Or9SyUEI — psonxayf visdunyrsaq (£0 g) aBurny aunsdny — wnsojidsaa wnsoydoy 14], …
Excerpt
Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris 56 (ow “co 3) SU]IPILU STISRASOLU = Da]N4AVI DIAS AS (Our 0 03) g[quajad gjozrIyvA — DSOULADĮ DIN (Iq) BASYIA glOyLqIE| — SDI JIdDO XaA0) (1-4) 35391 a0NAL = …
Excerpt
> Structure of Lithuanian Vegetation Cover: Marija Natkevicaité-Ivanauskiené’s Point of View L AE eZ viupny — pT ‘TeIQ0And — €T DUDIIOJĄĮ — ZĮ TELIOUPĄ — Į Į 121929 131] “PZ — OT ‘seuney — 6 TeIQNUID — 8 SNI2 “919A, — / ‘SOYSLNTRE — 9 ‘TEYIISINY — S …
Excerpt
58 Lietuvos augalinio ribo struktira: profesorés Marijos Natkeviéaités-I vanauskienés poziiris 3.8 pav. Retų induočių augalų rūšių ir bendrijų augavietės Lietuvoje, M. Natkevičaitės-Ivanauskienės duomenimis Arktiniai bei ankstyvojo holoceno reliktai: A — …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevicaité-Ivanauskiené’s Point of View 59 labai tiksliai nustatė J. Rauktys (1934). Pietinei juostai priskiriama ir Šiaurryčių Lietu- vos lyguma. Ties paprastojo skroblo riba taip pat turime arealų ribų …
Excerpt
60 Lietuvos augalinio ribo struktira: profesorés Marijos Natkevicaités-Ivanauskienés poziiris Tokiuose miškuose nuolat auga Vidurio Europos azuolynams bidingos minétos tem- peratinės plataus okeaniškumo rūšys, bet menkai — temperatinės-submeridianinės …
Excerpt
61 Structure of Lithuanian Vegetation Cover: Marija Natkeviéaité-Ivanauskieneé’s Point of View SIJDAISND UNJATIUISDAY TY — TT Swinsopyyidus Unjaarig — (If “uinjar1anO¢ -OUl-O] HAW — 6 29811 winjaing — g suinsoisdiupyasap unjaurg — /, Sunyjauig-usiu o.adug …
Excerpt
62 Lietuvos augalinio ribo struktira: profesorés Marijos Natkeviéaités-Ivanauskienés poziiris mo, gausiai augančio Tyrų ir Svencelės pelkėse (Klaipėdos raj.), natūralaus ištisinio arealo rytinė riba nusitęsia tolyn į šiaurę. Lietuvos pajūryje sorvaras dar …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkeviéaité-Ivanauskiené’s Point of View 63 3.3.3. Rytinio posektorio rajonai Rytinio posektorio trys rajonai yra šiaurinėje ir trys pietinėje juostose. Siaurinės juostos rajonai V. Vidurio Lietuvos …
Excerpt
64 Lietuvos augalinio rūbo struktūra: profesorės Marijos Narkevičaitės-Ivanauskienės požiūris nių rūšių — didžiosios kelerijos (Kveleria grandis), miškinės plikaplaiskės (Neotrianthe cucullata), bei pietinių — smiltyninio šepetuko (Corynepborus canescens) …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevičaitė-Ivanauskienė's Point of View 65 holoceno (borealinio laikotarpio) reliktų, išlikusių ežeruose: ežerinės slepišerės, pražan- giažiedės plunksnalapės, ežerinės lobelijos radimvietės (3.8 pav.). …
Excerpt
66 Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris paplitimo ribą. Juose dar randa priebėgą kai kurios labai retos Lietuvoje Centro Euro- pos plačialapių miškams būdingos rūšys. Iš jų bene įdomiausia yra augalo …
Excerpt
Structure of Lithuanian Vegetation Cover: Marija Natkevicaité-Ivanauskieneé’s Point of View 67 laikosi savotiška hibridogeninė, morfologiškai užimanti tarpinę padėtį tarp kopinio eraičino ir polesinio eraičino populiacija (pirmasis auga pajūrio kopose, …
Excerpt
68 Lietuvos augalinio rūbo struktūra: profesorės Marijos Natkevičaitės-Ivanauskienės požiūris Natūralios augalijos klimaksą takoskyrų lygumose ir šiame rajone sudaro ąžuolynai su skroblu. Šiaurinėje rajono dalyje tarp Žiežmarių ir Semeliškių jų yra ir …