Con la lógica de predicados intentamos conseguir sistemas de demostración automática de teoremas. Partimos de elementos básicos como las frases declarativas simples o proposiciones que son aquellos elementos de una frase que constituyen por sí solos una unidad de comunicación de conocimientos y pueden ser considerados Verdaderos y Falsos.[2]

La lógica de predicados estudia las frases declarativas con mayor grado de detalle, considerando la estructura interna de las proposiciones. Se tomarán como elemento básico los objetos y las relaciones entre dichos objetos.