Significados
- lógica matemáticaConjunto de regras formais para a manipulação de proposições usando operadores lógicos.substantivo masculino
- lógica matemáticaSistema de inferências simbólicas estruturadas, como o cálculo proposicional e o cálculo de predicados.substantivo masculino
Exemplos
- O cálculo lógico proposicional permite avaliar a validade de argumentos utilizando apenas conectivos. — Exemplo ilustrativo
- A computação moderna se baseia fortemente nos fundamentos do cálculo lógico. — Exemplo ilustrativo
Sinônimos
Antônimos
Anagramas
Etimologia
Cálculo: do Latim calculus, 'pedrinha' (para contar). Lógico: do Grego logiké, 'relativo ao pensamento ou à razão'.