Predikátová logika

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átorov a logických spojok. Predikátová logika sa zaoberá tak otázkami dokázateľnosti, ako aj pravdivosti. Je rozšírením výrokovej logiky o kvantifikátory a predikátové symboly popisujúce vzťahy (relácie) z 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átov.

Syntax 
Jazyk obsahuje:
 Logické spojky: ¬, Λ, V, →, ↔ 
 Kvantifikátory: ,  
 Premenné: 
 Konštanty (funkčné symboly s aritou 0):  
 Funkčné symboly (horný index k značí aritu funkčného symbolu; k>1):   
 Predikátové (funkcionálne) symboly (horný index k značí aritu predikátového symbolu; k>1): 
 Pomocné symboly

Súvisiace články 
Predikátová logika prvého rádu

Externé odkazy 
 

Matematická logika