Loogika aine ja ajalugu
Aksioomidele
rakendatakse tuletusreegleid, mis kasutavad teadaolevaid ehk juba tuletatud tõeseid väiteid. Sel viisil saadakse uued
tõesed väited, mida saab nüüd omakorda kasutada tuletusreeglite eeldustena. Kui meid huvitav väide V on tõene, siis
tähendab see, et nimetatud väide taolise protsessi käigus ka ükskord tuletatakse. Kui V aga pole tõene, siis teda muidugi
ei tuletata, ning meil oleks vaja mingil viisil tõestada, et väidet V antud tuletusalgoritmiga tuletada ei saa. Üldjuhul pole
aga võmalik anda algoritmi, mis sellise tõestuse iga V jaoks alati leida suudaks.
Kokkuvõtteks: loogika uurib selliseid formaalseid keeli, mille jaoks suudetakse kirja panna selles keeles kirjutatud
õigete väidete tuletamise algoritm. Loogika poolt kasutatav keel käib alati paaris n.ö. mehaanilise mõtlemise
mehhanismiga; keelest ja tuletamismehhanismist koosnevat paari nimetatakse teooriaks ehk arvutuseks. Arvutust, mille
annaabi.ee 
