definició jelölt

Kapcsolódó fogalmak: 
célpredikátum
Rövid szöveges bemutatás: 
A definíciójelölt fogalom a célpredikátumok kifejezésénél kerül elő. Arról van tehát szó, hogy van egy célpredikátumunk (például P(X)) és felsoroljuk a lehetséges esetek azon halmazát, melyek kielégítik ezt a célpredikátumot. Tehát P(X) = ?, és a ?-jel helyére kerülnek a definíciójelöltek, például P(X) = A(X) és B(X) vagy C(X), minden X-re. Ekkor A-B és C a két jelölt.