lógica proposicional

Sustantivo

Estudio de las proposiciones y su relación mediante operadores lógicos. Sustantivo
La lógica proposicional se utiliza en matemáticas y ciencias de la computación.

synonyms: lógica proposicional clásica, lógica formal