Loogika aine ja ajalugu
muutujaid asendada:
1. eeldus: iga x on y.
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
annaabi.ee 
