Predikát (logika)
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.[1]
- V logice prvního řádu je predikát syntaktickým prvkem, odpovídajícím sémantickým objektem je relace.[2] Ohodnocení je dvouhodnotové,[2]
- V axiomatické teorii množin je predikát charakteristická funkce dané množiny.[3]
- Ve fuzzy logice je striktní ohodnocení predikátu jako pravda-nepravda nahrazeno stupněm příslušnosti.
Odkazy
editovatV tomto článku byl použit překlad textu z článku Predicate (mathematical logic) na anglické Wikipedii.
Reference
editovat- ↑ LAVROV, Igor Andreevich; MAKSIMOVA, Larisa. Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. New York: Springer, 2003. Dostupné online. ISBN 0306477122. S. 52.
- ↑ a b DUŽÍ, Marie. Logika pro informatiky [online]. Ostrava: VŠB-TU Ostrava, 2012 [cit. 2025-02-13]. Kapitola Sémantický výklad predikátové logiky, s. 68-75. Dostupné online. ISBN 978-80-248-2662-2.
- ↑ Michael J Cullinan, 2012, A Transition to Mathematics with Proofs, Jones & Bartlett, pp. 44ff.
Literatura
editovat- DUŽÍ, Marie. Logika pro informatiky [online]. Ostrava: VŠB-TU Ostrava, 2012 [cit. 2025-02-13]. Kapitola Predikátová logika 1. řádu, s. 68-150. Dostupné online. ISBN 978-80-248-2662-2.
