Significados
- Filosofia, Matemática, Ciência da ComputaçãoEstudo sistemático da estrutura das proposições, suas formas e as regras de inferência válidas, independente do conteúdo ou significado específico dessas proposições.substantivo feminino
- FilosofiaRamo da lógica que lida com argumentos cuja validade depende apenas da forma lógica, não da verdade dos conteúdos.substantivo feminino
Exemplos
- A lógica formal é a base para a construção de sistemas computacionais e linguagens de programação. — Exemplo ilustrativo
- Enquanto a lógica informal estuda os argumentos em linguagem natural, a lógica formal utiliza símbolos e cálculos rigorosos. — Exemplo ilustrativo