Predikat
Iz MaFiRaWiki
 | Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili. |
Predikat je izjava, ki v sebi vsebuje vsaj eno spremenljivko in je njena pravilnost odvisna od te spremenljivke.
[spremeni]
Zgled
P(x) = "x je večji od 5". Velja npr. P(6) in P(8), ne velja pa P(1) ali P(4).
[spremeni]
Matematična definicija
"Predikat je funkcija P: D → {0,1}, kjer je D domena, ki je za ta predikat smiselna." (Za zgornji predikat P(x) = "x je večji od 5" je npr. nesmiselna domena študentov 2. letnika fizike). Pri tem pomeni 1 "pravilno", 0 pa "nepravilno".
[spremeni]
