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.