FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

Logika predikátová


logika predikátová = predikátový počet = predikátový kalkul = logika kvantifikátorov = logika predikátov = logika funkcionálna
Kód: 41

- č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 ( L322;160).

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.

---------------------
logika predikátová>