definicija |
funkcija koja za svaku odabranu vrijednost varijabla prima vrijednost istine ili laži |
istoznačnice |
dopušteni naziv: prirok |
istovrijednice |
engleski: predicate |
napomena |
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$. |
razredba |
polje: matematika |
vrela |
