Ava peamenüü

Muudatused

ehk '''formaalne loogika'''
[[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.