predicado de primer orden

En lógica matemática , un predicado de primer orden es un predicado que toma solo constantes o variables individuales como argumentos. ^{[ 1 ]} Compárese con un predicado de segundo orden y un predicado de orden superior .

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

• Cálculo de predicados de primer orden
• cálculo de predicados monádicos