Lógica simbólica
De Enciclopedia Symploké, la enciclopedia libre.
Expresión empleada para referirse a aquellos conocimientos lógicos dotados de potentes lenguajes formalizados. También se la denomina lógica matemática.
(Véase lógica y lógica formal.)