Predikátová logika

Z Wikipédie

Logika predikátová

logika predikátová = predikátový počet = predikátový kalkul = logika kvantifikátorov = logika predikátov = logika funkcionálna

je časť logiky vyšetrujúca spôsoby, ktorými z formulí vznikajú výroky pomocou kvantifikátorov a logických spojok. Predikátová logika sa zaoberá tak otázkami dokázateľnosti, ako aj pravdivosti. Okrem bežného predikátového počtu existujú aj predikátové počty vyšších rádov, v ktorých je povolená nielen kvantifikácia objektových premenných, ale aj kvantifikácia predikátov.

Predikátová logika obsahuje okrem výrazov výrokovej logiky individuové premenné, individuové konštanty, predikátové (funkcionálne) premenné a predikátové konštanty.



[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.

[úprava] Pozri aj

logika predikátová kvantifikátor

logika

predikát

predikátor

výraz predikátorový

zákony de Morganove