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.