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