Erinevus lehekülje "Formaalloogika" redaktsioonide vahel

resümee puudub
[[Formaalloogika]] ehk '''formaalne loogika''' tegeleb sellega, kuidas [[järeldamine|järeldada]] [[tõesus|tõestest]] väidetest [[tõesus|tõeseid]] väiteid, kuid reeglina ei ütle, millised väited on [[tõesus|tõesed]]. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. [[Formaalloogika]] ütleb, mida saab järeldada lähtudes üksnes [[väide|väiteid]] [[väljendus|väljendavate]] [[lause]]te vormist.
 
==Vaata ka==
[[Category:Filosoofia]]
*[[Matemaatiline loogika]]
[[Category:Loogika]]
 
[[CategoryKategooria:Filosoofia]]
[[CategoryKategooria:Loogika]]
 
[[en:Mathematical logic#Formal logic]]
Anonüümne kasutaja