paratamatu ning sellest ei pääse keegi, sest vabadus on vangistus. Me ei saa iseendaga üksi hakkama, sest oleme loomu poolest karjaloomad. Me vajame juhti, kes käseks, sest siis on meil suund ja samas ei ole vastutust. Me oleme vabad, aga samas puudub võim. Aga inimene tahabki kõige rohkem just võimu. Selleks, et võiku saada tekivad uued suhted inimeste vahel. Keegi peab hakkama muutma elurütmi, struktuuri harjumusi. Lõhkumine on uue loomine. Sellised käigud on kui puuharud, mis hargnevad aina mitmeks ja mitmeks. Iga jätku kohal on keegi kes juhib. Samas ei juhi keegi, sest sel puud puudub juur kui ka latv. Me kõik juhime, olgu see juhtimine kas teadlik või mitte. See olemine ja mitte olemin, selle mõistmine ning lahti seletamine on piisavalt keeruline, et seda võib pidada juba üheks struktuuriks, mida ta kindlasti on. Meeletult vastik on mõelda, et kõik on kui telliskivi sein, kelleski millegipärast ja põhjuseta sattunud põhjus
Õigel kaugusel päikesest- mitte liiga kaugel ega liiga lähedal-suutis maa säilitada vett vedelal kujul. Niiskus kondenseerus ja langes hooga Maale, mis pani aluse jõgedele. Jõed uuristasid maapinda, rajasid endale sängi ja vaostasid orge. Need jooksid Maa madalate punktide poole ja moodustasid ookeane. Nad rebisid kividest kaasa mineraale, mis lõpuks muutsid magevee ookeanid soolasteks. Vesi on elutähtis vedelik. Ta niisutas neid steriilseid avarusi. Ta voolurajad on kui veresooned, puuharud või elumahala reservuaarid, mille vesi Maale tõi. Ka neli miljardit aastat hiljem võib Maal leida neid kunstiteoseid, mis jäid maha vulkaanide tuhast ja segunesid Islandi liustike veega. Siin need on. Mateeria ja vesi. Vesi ja mateeria. Pehme ja tugeva sümbioosi, mis on omane me planeedi igale eluvormile. Mineraalid ja metallid on vanemad kui Maa. Nad on tähetolm. Nad annavad Maale värvi. Punane tuleb rauast ja must süsinikust. Sinine vasest ja kollane väävlist. Millest me pärineme
hästi kohastunud liike. Põõsad on vajalikud nii ruu- mööda tüve pikitelge otse alla ning lahtirebenemiseks mi loojatena kui elupaikadena. Eriti olulisel kohal on vajalik jõuõlg ei ole piisav. Kui siiski tekib kahtlus, et pargi servaaladel kasvavad põõsad, kuna nad loovad ja suur oksaharu või paralleeltüvi võib lahti rebeneda, kindlustavad pargi välisseina. on õige aeg puu toestada ehk teisisõnu – puuharud kokku siduda. Sidumise kasuks tuleb otsustada ka Lühiealisuse tõttu kaotavad hooldamata põõsas- juhtudel, kui riskipuu kasvab hoonete või käiguteede tikud kiiresti oma dekoratiivsuse. Nende sisemuses läheduses. Siduda pole mõtet puid, mida on kahjus-
(5. real) seisab ka literaal q. See haru sisaldab vastuolu ning on suletud. Liikudes üles piki parempoolset haru (mis lõpeb literaaliga ¬p), on näha, et tüves (4. real) seisab ka literaal p. 7 Lausearvutuse reeglite tuletamist tõesuspuude abil ning tõesuspuude üldistamist predikaatloogikale vt nt Jeffrey, 1991, ja põhjalikumalt Bergmann et al., 2009. 18 Seegi haru sisaldab vastuolu ning on suletud. Kõik puuharud on suletud, seega kogu tõesuspuu on suletud. Tõesuspuu suletus näitab, et valem ¬(p & q → q & p) on vastuolu ja see tähendab, et valem p & q → q & p on tautoloogia. Lausearvutuse valemite korral on tõesuspuud alati lõplikud, sest lihtsustusreeglit rakendatakse igale valemile maksimaalselt üks kord. N9.11. Tõestage tõesuspuu abil, et valem (p → q) & ¬q → ¬p on tautoloogia. Lahendus: valemi eitus on: ¬[(p → q) & ¬q → ¬p]. 1. ¬[(p → q) & ¬q → ¬p] √ (e) 2
See haru sisaldab vastuolu ning on suletud. Liikudes üles piki parempoolset haru (mis lõpeb literaaliga ¬p), on näha, et tüves (4. real) seisab ka literaal p. 7 Lausearvutuse reeglite tuletamist tõesuspuude abil ning tõesuspuude üldistamist predikaatloogikale vt nt Jeffrey, 1991, ja põhjalikumalt Bergmann et al., 2009. 18 Seegi haru sisaldab vastuolu ning on suletud. Kõik puuharud on suletud, seega kogu tõesuspuu on suletud. Tõesuspuu suletus näitab, et valem ¬(p & q q & p) on vastuolu ja see tähendab, et valem p & q q & p on tautoloogia. Lausearvutuse valemite korral on tõesuspuud alati lõplikud, sest lihtsustusreeglit rakendatakse igale valemile maksimaalselt üks kord. N9.11. Tõestage tõesuspuu abil, et valem (p q) & ¬q ¬p on tautoloogia. Lahendus: valemi eitus on: ¬[(p q) & ¬q ¬p]. 1. ¬[(p q) & ¬q ¬p] (e) 2
annaabi.ee 
