Wg Małej Encyklopedii Logiki:
"(1) Funktor zdaniotwórczy od argumentów nazwowych (...). Np. słowo <świeci> w zwrotach <Księżyc świeci>, <x świeci>.
(2) Wyrażenie złożone z funktora zdaniotwórczego od argumentów nazwowych oraz zmiennych nazwowych (...); inaczej: funkcja zdaniowa argumentów nazwowych, czyli funkcja propozycjonalna (...). Np. <x świeci>, <x=y>, <x leży między y i z>.
(3) Wyrażenie, które opisuje pewną własność lub relację (...).
Określenia (1) i (2) mają charakter syntaktyczny, zaś (3) semantyczny. ( ...) Częściej używa się słowa <predykat> w znaczeniu (1), którego odpowiednikiem w gramatyce jest pojęcie orzeczenia. Predykat opisujący własność nazywa się predykatem jednoargumentowym (...), predykat opisujący relację nazywa się dwu-, trzy- lub więcej- argumentowym, w zależności od liczby członów danej relacji (...). Dział logiki dotyczący predykatów nazywa się rachunkiem predykatów lub rachunkiem kwantyfikatorów. (...)".