Lógicas Clássicas
Lógica dos Predicados
- A Lógica das Proposições tem um poder de representação limitado.
- Na Lógica Proposicional se utiliza apenas sentenças completas, isto é, as proposições para representar o conhecimento sobre o Mundo.
- A Lógica dos Predicados, ou Cálculo dos Predicados, é uma extensão da Lógica das Proposições em que se consideram variáveis e quantificadores sobre as variáveis.
- A Lógica dos Predicados se preocupa em introduzir noções lógicas para expressar qualquer conjunto de fatos através de Classes de Atributos e de Quantificadores.
- O matemático americano Alonzo Church e o inglês Alan Turing, mostraram independentemente, que não há procedimento de decisão para checar a validade de fórmulas da Lógica dos Predicados.