lógica simbólica

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