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
funkcija koja za svaku odabranu vrijednost varijabla prima vrijednost istine ili laži
Rod: muški
Vrsta riječi: imenica
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$.