Loogika aine ja ajalugu
nõul, millist formaalset sßuteemi võib loogikaks nimetada ja millist mitte, ollakse enam-vähem ühel meelel, et iga
formaalne loogikasüsteem peab sisaldama kolme järgmist komponenti: süntaksit, tuletamisreegleid ja semantikat.
· Süntaks on reeglite süsteem, mis määrab ära antud loogika poolt vaadeldavate väidete keele, s.o. milline väide
üldse on nimetatud loogika väide ja milline mitte, tõesusest ja tuletatavusest sõltumatult.
· Tuletamisreeglite süsteem on iga loogika kõige olulisem osa. Reeglid jaotuvad eeldusteta aksioomideks ja juba
tuletatud väidetest uute väidete tuletamise reegliteks. Reeglite süsteem määrab, millised väited on antud
loogikas tuletatavad, s.o. ``õiged.''.
· Semantika annab formaalsetele loogikaväidetele tähenduse. Formaalse loogikasüsteemi semantika määrab
kõigepealt ära, missugust osa maailmast väited kirjeldavad
annaabi.ee 
