Predicado (lógica)

Existe una gran diferencia entre el concepto de predicado lógico durante los siglos de la lógica tradicional, tal como fue concebida por Aristóteles e interpretada por los lógicos de port-Royal, y la actual lógica-matemática de los últimos cien años.