2. eeldus: mõni z on x. järeldus: mõni z on y. 1.4 Väidete formaalne esitus Loogikas uuritavad tuletused ei koosne enamasti mitte ühe reegli ühekordsest rakendamisest, vaid mitmete reeglite mitmekordest rakendamisest: tuletus ehk tõestus koosneb lihtsatest osadest, kuid moodustab tervikuna omaette keerulise struktuuri. Keerulise tuletusstruktuuri esitamine inimkeelsete lausetena muudab esimese väga suureks, kohmakaks ja raskesti mõistetavaks. Loogikas on seetõttu kasutusel spetsiaalsed formaalsed keeled, mis on harilike keeltega võrreldes lühemalt kirjapandavad. Mis kõige tähtsam: formaalsed keeled väldivad harilikus keeles esinevaid mitmetähenduslikkusi. Üks näide: 6. sajandil e.m.a elanud Lüüdia kuningas Kröösus uuris Delfi oraaklilt järele, kas tasub minna sõjakäigule Pärsia vastu
2 2006-08-03 08:39:18.387 lisati Jõgeva Ülesandeid * Koosta logitabel autoregistris toimuvate muudatuste logimiseks. Tulbad (id, auto_id, toiming, aeg, mark, aasta, maakonna_id). * Loo päästikud lisamiste, kustutamiste, muutmiste logimiseks. Mõtle, mida ja millistesse tulpadesse on kindlasti vajalik kirjutada, et logi järgi oleks võimalik vana seis taastada. * Loo salvestatud protseduur etteantud id-ga autoga tehtud toimingute väljatrükiks inimkeelsete lausetena ajas tagant ette. * Loo salvestatud protseduur etteantud id-ga auto seisundi näitamiseks etteantud ajal. Ajutiste tabelite kasutamine Kirjutades keerukamaid programme on aeg-ajalt kasulik mingid vahetulemused meelde jätta. Üks võimalus selleks on ajutiste tabelite kasutamine. Ajutised tabelid on tabelid, mida püsivalt pole vaja, mis on vajalikud vaid ühe konkreetse skripti täitmiseks. Selliseid tabeleid ei hoita enamasti samas kohas päris andmetega. SQL Serveril on
annaabi.ee 
