Verzia z 09:47, 21. júl 2012 upraviť EmausBot (diskusia \| príspevky) Boti 267 859 editací d r2.7.3) (robot Pridal: ca:Lògica de predicats ← Predchádzajúca úprava		Verzia z 00:27, 18. november 2012 upraviť vrátiť Kuku (diskusia \| príspevky) 123 editací drobné rozšírenie článku, wikilinky, rozšírenie Ďalšia úprava →
Riadok 1: '''Predikátová logika''' = predikátový počet = predikátový kalkul = logika kvantifikátorov = logika predikátov = logika funkcionálna, je [[formálny systém]], časť logiky vyšetrujúca spôsoby, ktorými z formulí vznikajú výroky pomocou [[kvantifikátor\|kvantifikátorov]]ov a [[Výroková spojka\|logických spojok]]. Predikátová logika sa zaoberá tak otázkami dokázateľnosti, ako aj pravdivosti. ~~Okrem~~Je ~~bežného~~rozšírením ~~predikátového~~[[výroková ~~počtu~~logika\|výrokovej ~~existujú~~logiky]] o kvantifikátory a predikátové symboly popisujúce vzťahy (relácie) z [[Univerzum (matematika)\|univerza]]. 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át\|predikátov]]ov. == Syntax == Predikátová logika obsahuje okrem výrazov [[výroková logika\|výrokovej logiky]] individuové premenné, individuové konštanty, predikátové (funkcionálne) premenné a predikátové konštanty. Jazyk obsahuje: * Logické spojky: ¬, Λ, V, →, ↔ * Kvantifikátory: <math>\exists</math>, <math>\forall</math> * Premenné: <math>x, y, z, ... x_{1},y_{1}, ... </math> * Konštanty (funkčné symboly s aritou 0): <math>a, b, c, ...</math> * Funkčné symboly (horný index k značí aritu funkčného symbolu; k>1): <math>f^k, g^k, x_{1}^k, ... </math> * Predikátové (funkcionálne) symboly (horný index k značí aritu predikátového symbolu; k>1): <math> P^k, Q^k, R^k ...</math> * Pomocné symboly <math> ( , ), [, ], ,, </math> == Súvisiace články == [[Predikátová logika prvého rádu]] == Externé odkazy ==

Predikátová logika: Rozdiel medzi revíziami