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

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

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

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