predikátový počet

Matematika

Kalkul, funkční počet; rozšíření výrokové logiky (kalkulu), vycházející z formalizace vnitřní struktury výroků. Výroková logika pojímá jednotlivé výroky jako celky, predikátový počet zkoumá též vnitřní strukturu vyroků a zákonitosti, jimž tato struktura podléhá. Jazyk predikátového počtu obsahuje individuové a predikátové proměnné jako logické konstanty a kvantifikátory ($, ") obecnosti a existence. Proto se synonymně užívá pro predikátový počet i názvu kalkul kvantifikátorů. Váží-li se kvantifikátory nejen individuové, ale i predikátové proměnné, vznikne predikátový počet druhého stupně. Predikátový počet prvního stupně je bezesporný a úplný, avšak nerozhodnutelný.

Vytvořeno: 14. 3. 2000
Aktualizováno: 17. 6. 2024
Autor: -red-

Odkazující hesla: individuová proměnná.