lógica simbólica

Sustantivo

Sistema formal que estudia las relaciones entre símbolos y proposiciones para analizar argumentos y razonamientos.
La lógica simbólica es fundamental en la informática y las matemáticas.

synonyms: lógica formal, lógica matemática