Predikát je v logice symbol či formule označující nějakou vlastnost či relaci mezi prvky. V různých logických systémech má mírně odlišný význam:
Ve výrokové logice atomické formule jsou někdy považovány za nulární predikáty.
V logice prvního řádu je predikát syntaktickým prvkem, odpovídajícím sémantickým objektem je relace. Ohodnocení je dvouhodnotové,
V axiomatické teorii množin je predikát charakteristická funkce dané množiny.Michael J Cullinan, 2012, A Transition to Mathematics with Proofs, Jones & Bartlett, pp. 44ff. Ve fuzzy logice je striktní ohodnocení predikátu jako pravda-nepravda nahrazeno stupněm příslušnosti.
Odkazy
Reference
Literatura
Kategorie:Logika