Predicado de primer orden

En lógica matemática, un predicado de primer orden es un predicado que toma solo variables o constantes individuales como argumento(s). Compara el predicado de segundo orden y el predicado de orden superior.

Esto no debe confundirse con un predicado de un solo lugar o mónada, que es un predicado que toma solo un argumento. Por ejemplo, la expresión "es un planeta" es un predicado de un lugar, mientras que la expresión "es padre de" es un predicado de dos lugares.