Predicado de primeira ordem - First-order predicate
Na lógica matemática , um predicado de primeira ordem é um predicado que leva apenas constantes individuais ou variáveis como argumento (s). Compare predicado de segunda ordem e predicado de ordem superior .
Isso não deve ser confundido com um predicado de um lugar ou mônada, que é um predicado que leva apenas um argumento. Por exemplo, a expressão "é um planeta" é um predicado de um lugar, enquanto a expressão "é o pai de" é um predicado de dois lugares .
Veja também
Referências
 |
Este artigo relacionado à lógica é um esboço . Você pode ajudar a Wikipedia expandindo-a . |