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

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