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