La lógica de predicados está desarrollada con el fin de analizar casos más generales que la lógica proposicional.

Se relaciona con palabras especiales (cuantificadores) como 'todo', 'algo' y 'no'.

Se basa en que las proposiciones son conjuntos de elementos que tienen una propiedad o característica en común. En este contexto, una proposición puede ser verdadera para un grupo de elementos de un conjunto, pero falsa para otro.[2]