Общезначимость
- свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Символов, т. Е. Предикатных и пропозициональных переменных. Логич. Формулы, обладающие этим свойством, наз. Общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов "формула Аобщезначима" часто пишут. Важнейшими видами логич. Формул являются пропозициональные и предикатные формулы. При классич. Понимании логических операций О. Пропозициональных формул проверяется путем построения истинностных таблиц:формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И ("истина").
О. Предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, т. Е. Не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она. Из Гёделя теоремы о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классич. Исчислении предикатов. Лит.:[1] Клини С. К., Математическая логика, пер. С англ., М., 1973. В. Е. Плиско..
Дополнительный поиск Общезначимость
На нашем сайте Вы найдете значение "Общезначимость" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Общезначимость, различные варианты толкований, скрытый смысл.
Первая буква "О". Общая длина 14 символа