Sintaxe da lógica proposicional
Jump to navigation
Jump to search
- Fórmulas
- Algumas comparações entre as linguagens proposicional e de primeira ordem
Para reflexão
Veja também
- Definição recursiva da linguagem proposicional
- Sintaxe da lógica de primeira ordem
- Introdução Computacional à Lógica Matemática
