A lógica de predicados é uma generalização da lógica proposicional, e compreende uma forma bem mais abrangente e complexa de representação do conhecimento. De maneira geral, a lógica de predicados nos permite representar de uma forma muito mais precisa o conhecimento do mundo real, fornecendo ferramentas para mapear não só fatos individuais, mas também as relações entre esses fatos.
Justamente pelo fato da lógica de predicados extender a lógica proposicional, todos os conhecimentos da segunda se aplicam para a primeira, porém iremos introduzir novos conceitos aplicados somente à lógica de predicados.
Como qualquer outra linguagem, a lógica de predicados é composta por sintaxe e semântica.