Логически значимая функция

Булева функция – это функция типа f : X → B, где X – произвольное множество, а B – логическая область.
В формальных науках, математике, математической логике, статистике и их прикладных дисциплинах булева функция может также называться характеристической функцией, индикаторной функцией, предикатом или предложением.
В формальных семантических теориях истинности предикат истинности – это предикат в предложениях формального языка, интерпретируемый для логики.
Предикат истинности может иметь дополнительные области, выходящие за рамки области формального языка.

Полный текст статьи:

Логическая функция — Википедия