Пропозициональная Функция —
Функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка. Если W — множество истинностных значений формул данного языка, то П.
Математическая энциклопедия