Lógica dos predicados

Abstract

Apesar de poderosa, a lógica proposicional não é suficiente para representar toda a base de conhecimento a respeito da resolução de problemas, assim neste conjunto de slides são apresentados os conceitos da lógica de predicados. Faz-se a identificação da lógica proposicional como um fragmento da lógica de predicados. Estuda-se a escrita de proposições e sentenças nesta lógica, bem como a negação de fórmulas quantificadas.