Formalizácia výrazu

Formalizácia výrazu je redukcia teorém a teórií na čisté logické vzťahy, vyjadrené symbolmi a grafmi, čím sa dosahuje maximálna koherencia a transparentnosť výsledkov
poznania.

Externé odkazy 
 

Logika