polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
funkcija koja za svaku odabranu vrijednost varijabla prima vrijednost istine ili laži
U pravilu se pod predikatom podrazumijeva pripadna formula kojom se on zadaje. Smisao je da za svaku odabranu vrijednost varijabla ta formula postaje zapis izjave koja je istinita ili lažna. Tako je primjerice $y=x$ predikat s dvjema varijablama $x,y$. Ako uvrstimo $x=1,y=2$ dobijemo lažnu izjavu $2=1$, a ako uvrstimo $x=3, y=3$ dobijemo istinitu izjavu $3=3$.