Синонимы к слову «общезначимость»
Ниже представлен список синонимов к слову «общезначимость». Всего найдено 2 синонимов и похожих словосочетаний. Вы можете нажать на любое из слов ниже, чтобы узнать детали.
Наиболее употребляемые синонимы
Другие примеры синонимов слова «общезначимость»
Значения слова «общезначимость»
-
Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут:
⊨
A
{\displaystyle \vDash A}
. Важнейшими видами логических формул являются пропозициональные и предикатные формулы. При классическом понимании логических операций общезначимость пропозициональных формул проверяется путём построения истинностных таблиц: формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И («истина»). Общезначимость предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, то есть не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она (это результат Чёрча). Из теоремы Гёделя о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классическом исчислении предикатов.
Источник: Википедия
Похожие слова и словосочетания
→ рассудочные понятия
→ инструментализм
→ адекватное отражение
→ явления действительности
→ неокантианство
→ объективное значение
→ коррелят
→ качественная определённость
→ антропологизм
→ аксиология
→ естественная установка
→ квантификация
→ проблема демаркации
→ формальная логика
→ общественная практика
→ процессуальность
→ картезианство
→ нормативная этика
→ закон тождества
→ несводимость
→ теоретическое мышление
→ возможный опыт
→ релятивизация
→ семиология
→ опытное знание
→ онтологизм