Predikat

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Predikat je izjava, ki v sebi vsebuje vsaj eno spremenljivko in je njena pravilnost odvisna od te spremenljivke.

Zgled

P(x) = "x je večji od 5". Velja npr. P(6) in P(8), ne velja pa P(1) ali P(4).

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".

Glej tudi

Osebna orodja