Prindi | E-postile | Salvesta 
formaalne loogika
formal logic
ESTER | ISE | ERB | Google
Seletus: Loogikaharu, mis uurib mõistete, otsustuste (väidete), järelduste ja tõestuste struktuuri, pöörates peatähelepanu nende vormile. Formaalse loogika rajas Aristoteles; termini võttis kasutusele Immanuel Kant.
Asendab:aristotellik loogika Aristotle's logic
formaalloogika
klassikaline loogika classical logic
traditsiooniline loogika traditional logic
Laiemad:loogika logic
Seotud:matemaatiline loogika logical calculus; mathematical logic
probleemide lahendamine problem solving
tõesus ja väärus truth and falsity
Valdkonnad:01 FILOSOOFIA. EETIKA. SEMIOOTIKA.
21 MATEMAATIKA.