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.

Vytvořeno: 14. 3. 2000
Aktualizováno: 25. 11. 2000
Autor: -red-

Odkazující hesla: Gottlob Frege.