общезначимость в словаре кроссвордиста
Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова.
ж. Отвлеч. сущ. по знач. прил.: общезначимый.
Википедия
Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями . Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: $\vDash A$. Важнейшими видами логических формул являются пропозициональные и предикатные формулы. При классическом понимании логических операций общезначимость пропозициональных формул проверяется путём построения истинностных таблиц : формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И . Общезначимость предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо , то есть не существует алгоритма , позволяющего для произвольной предикатной формулы выяснить, общезначима ли она . Из теоремы Гёделя о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классическом исчислении предикатов .
Примеры употребления слова общезначимость в литературе.
Проблема тут - в труднорастворимости созданной двумя десятками столетий оболочки вокруг феномена теоретического, созданной из неограниченной претензии теории на общезначимость по части ее применения, и вместе с тем - на интеллектуальный элитаризм по части ее генезиса.
Никогда я не ощущала острее, чем сегодня, мудрость и общезначимость этих слов.
Однако, хорошо известно, что общезначимость не позволяет полностью преодолеть релятивизм, поскольку то, что считается общезначимым в одной култьтуре, может не быть общезначимым в другой культуре и т.
Но все-таки другую мы уже поставили в полицентрический мир значимостей и уже знаем, при каких обстоятельствах идеал общезначимости почти реален для полизначимого и полирационального мира.
Источник: библиотека Максима Мошкова