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

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

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

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

См. также

• Кусочек
• Логический тип данных
• Булева алгебра (логика)
• Логический домен
• Булева логика
• Пропозициональное исчисление
• Таблица истинности
• Логическая минимизация
• Функция индикатора
• Предикат
• Предложение
• Финитарная булева функция
• Булева функция

Ссылки

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