Loogika aine ja ajalugu
jääb mistahes formaalne keel alati piiratuks.
Kuivõrd loogika uurib mõtlemise fundamentaalseid ja abstraktseid omadusi, siis on formaalse keele piiratus loogika
seisukohast kasulik. Formaalses keeles moodustatud tuletus ehk tõestus on selgepiiriline matemaatika vahendite abil
uuritav objekt, ning enamikku formaalset loogikat nimetatakse uurimismeetodi järgi sageli matemaatiliseks loogikaks.
1.5 Tõeste lausete tuletamisalgoritm
Formaalsete keelte kasutamisel loogikas pole motivatsiooniks mitte ainult nende keelte lihtsus ja tuletuste selge ning
ühemõtteline struktuur. Formaalseid keeli kasutatakse ju laialdaselt ka loogikast väljaspool, näiteks arvutite
programmeerimisel: kõik programmeerimiskeeled on formaalsed keeled.
Loogikas kasutatakse selliseid formaalseid keeli, mille jaoks on vo imalik konstrueerida algoritmi (s.o. selged,
annaabi.ee 
