lógica matemática
substantivo feminino composto
Separação silábica: ló-gi-ca ma-te-má-ti-ca
Plural: lógicas matemáticas
Significados
- Matemática, Filosofia, ComputaçãoRamo da matemática que formaliza o estudo da inferência dedutiva por meio de sistemas simbólicos. Utiliza ferramentas da lógica formal para analisar validade argumentativa e fundamentar provas matemáticas.substantivo feminino
- Conjunto de princípios e métodos estruturados de raciocínio e cálculo, fundamentados em linguagens formais e regras precisas.substantivo feminino
Exemplos
- A lógica matemática é fundamental para entender a estrutura dos algoritmos e a teoria da computabilidade. — Exemplo ilustrativo
- Os teoremas da incompletude de Gödel foram demonstrados dentro do escopo da lógica matemática. — Exemplo ilustrativo
Sinônimos
Antônimos
Anagramas
Etimologia
Do grego "logiké" (relativo ao pensamento/reasoning) através do latim "logica"; e do latim "mathematica", derivado do grego "mathematiké" (ciência do aprendizado), significando juntas 'a ciência do raciocínio matemático'.