výroková funkce

Logika. Predikát, který přiřazuje objektům určité oblasti některou pravdivostní hodnotou. Predikátový kalkul s výrokovou funkcí a kvantifikátory umožňuje lépe zkoumat výroky než výrokový kalkul.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 25. 11. 2000
Autor: -red-

Odkazující hesla: Gottlob Frege.

Reklama: