Булевозначная функция (иногда называемая предикатом или предложением ) — это функция типа f: X → B , где X — произвольное множество , а B — булева область определения , т. е. общий набор из двух элементов (для пример B = {0, 1 }), элементы которого интерпретируются как логические значения , например, 0 = false и 1 = true , т. е. один бит информации .
В формальных науках , математике , математической логике , статистике и их прикладных дисциплинах булевозначная функция также может называться характеристической функцией, индикаторной функцией , предикатом или суждением. Во всех этих случаях подразумевается, что различные термины относятся к математическому объекту, а не к соответствующему семиотическому знаку или синтаксическому выражению.
В формальных семантических теориях истины предикат истины — это предикат предложений формального языка , интерпретируемый для логики, который формализует интуитивное понятие, которое обычно выражается утверждением, что предложение истинно. Предикат истинности может иметь дополнительные домены помимо формального языкового домена, если это необходимо для определения окончательного значения истинности .