Predykat
Z Wikipedii, wolnej encyclopedia
Predykat – wieloznaczny termin mogący oznaczać:
- funktor zdaniotwórczy od x argumentów nazwowych[1];
- funkcję zdaniową argumentów nazwowych[1];
- wyrażenie opisujące pewne własności lub relacje.
W rachunku predykatów pierwszego rzędu (rachunku kwantyfikatorów) występują symbole P, Q, R itd. reprezentujące predykaty jednoargumentowe. W terminologii gramatycznej predykatom jako funktorom zdaniotwórczym swobodnie odpowiadają osobowe formy czasownika.