F1, F2,...,Fn G Arusaamise jaoks võiks lihtsamalt öelda: Valem G järeldub valemist F siis, kui G on tõene nendel väärtustel, kus F on tõene. G peaks olema tõene igal väärtusel, kus F tõene. Kui mingil väärtusel on F tõene ja G väär, siis järeldumine ei kehti. Samuti ei kehti selline asi, et kui F-ist järeldub G, siis ka G-st järeldub F. Teoreem 3. Valmitest F1, F2,...,Fn järeldub valem G parajsti siis, kui valem F1& F2&...&FnG on samaselt tõene. Tõestus. Kui valemitest F1, F2,...,Fn järeldub valem G, siis neilväärtustustel, millel valemid F1, F2,...,Fn on tõesed, on ka valem G tõene, mistõttu F1& F2&...&FnG on tõene. Väärtustustel, millel mõni valemitest F1, F2,...,Fn on väär, on valem F1& F2&...&FnG tõene seetõttu, et impl eesliige on väär. Ümberpöördult, kui valem F1& F2&...&FnG on samaselt tõene, siis igal väärtustusel,
Klientide register lepingute ja arvete register on klientide registriga seotud olemi `klient' kaudu (klient ON osapool) Töötajate register - lepingute ja arvete register on töötajate registriga seotus olemi `osapool' kaudu (töötaja ON osapool) Pakettide register - lepingute ja arvete register on pakettide registriga seotud olemi `pakett' kaudu (juhataja haldab paketti) 1.4.6 Ärireeglid - Leping on KAS tööleping VÕI kliendileping - Lepingul on parajsti kaks osapoolt - Osapoolel peab olema vähemalt üks kontakt - Arve koostatakse kliendilepingu alusel - Ühe lepingu alusel peab müüma ühte või enamat paketti - Klient, kes pole tasunud arveid väljastamise hetkest ühe kuu jooksul, loetakse võlglaseks 1.4.7 Registri kontseptuaalne eskiismudel Ostu_arve Töötaja
12.04.1981 - Kosmosesse lennutati esimene kosmosesüstik. 1981 - avastati AIDS. 1960ndatel algas hipiliikumine. "Flower power" jt. 1970ndatel rajati diskoteegid ja tulid kasutusse videomagnetofonid. Arenenud tööstusriikides hakati 70ndatel rääkima postindustriaalsest ühiskonnast. 80ndatel aga infoühiskonnast. 9. GLOBAAL PROBLEEMID 1968 asutati nn Rooma Klubi. See oli ülemaailmne tarkade klubi, mille eesmärgiks oli vastavalt maal parajsti toimuvale ennustada tuleviku stsenaariume. Nad kasutasid selleks immitatsiooni moodust. 1960ndatel arvasid inimesed, et kõik probleemid on lahendatavad teaduse ja tehnika abil. Globaal probleemid - inimtegevuse ja looduse vastuolude tagajärg. Globaal probleemid jagunevad võimalikeks ja tegelikeks. Keskkonna saatamine: atmosfäri paisatakse orgaanilise kütuse põletamise tulemusena süsihappe gaasi, see põhjustab kasvuhoone
annaabi.ee 
