Булевозначная функция - Boolean-valued function

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

В формальных науках , математике , математической логике , статистике и их прикладных дисциплинах булевозначная функция также может называться характеристической функцией, индикаторной функцией , предикатом или предложением. Во всех этих случаях подразумевается, что различные термины относятся к математическому объекту, а не к соответствующему семиотическому знаку или синтаксическому выражению.

В формальных семантических теориях истины , предикат истины есть предикат на предложениях одного формального языка , интерпретируемого логики, которая формализует интуитивное понятие , которое обычно выражается тем, что предложение истинно. Предикат истинности может иметь дополнительные области за пределами области формального языка, если это то, что требуется для определения окончательного значения истинности .

Смотрите также

Рекомендации

• Браун, Фрэнк Маркхэм (2003), Логическое рассуждение: логика булевых уравнений , 1-е издание, Kluwer Academic Publishers, Norwell, MA. 2-е издание, Dover Publications, Mineola, NY, 2003.
• Кохави, Цви (1978), Теория переключений и конечных автоматов , 1-е издание, McGraw-Hill, 1970. 2-е издание, McGraw-Hill, 1978. 3-е издание, McGraw-Hill, 2010.
• Корфхаге, Роберт Р. (1974), Дискретные вычислительные структуры , Academic Press, Нью-Йорк, Нью-Йорк.
• Математическое общество Японии , Энциклопедический словарь математики , 2-е издание, 2 тома, Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Цитируется как EDM.
• Мински, Марвин Л. , и Паперт, Сеймур, А. (1988), Персептроны , Введение в вычислительную геометрию , MIT Press, Кембридж, Массачусетс, 1969. Пересмотрено, 1972. Расширенное издание, 1988.