26.05.2021

Общезначимость


Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: ⊨ A {displaystyle vDash A} .

Важнейшими видами логических формул являются пропозициональные и предикатные формулы. При классическом понимании логических операций общезначимость пропозициональных формул проверяется путём построения истинностных таблиц: формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И («истина»). Общезначимость предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, то есть не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она (это результат Чёрча). Из теоремы Гёделя о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классическом исчислении предикатов.


Похожие новости:

Формула Борда — Карно

Формула Борда — Карно
В гидродинамике формула (теорема) Борда — Карно — это эмпирическая формула, описывающая потери энергии (или напора) жидкости, происходящие при местном расширении потока. Эта формула, в отличие от

Хегевальд, Тобиас

Хегевальд, Тобиас
Тобиас Хегевальд (нем. Tobias Hegewald; род. 3 августа 1989 года в Нойвиде) — немецкий автогонщик. Карьера Картинг Хегевальд провёл три сезона в профессиональном картинге, включая пятое место в

Закон контрапозиции

Закон контрапозиции
Закон контрапозиции — закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой

Формула Борда — Карно

Формула Борда — Карно
В гидродинамике формула (теорема) Борда — Карно — это эмпирическая формула, описывающая потери энергии (или напора) жидкости, происходящие при местном расширении потока. Эта формула, в отличие от
Комментариев пока еще нет. Вы можете стать первым!

Добавить комментарий!

Ваше Имя:
Ваш E-Mail:
Введите два слова, показанных на изображении: *
Популярные новости
Порядок уточнения границ земельного участка в 2021 году
Порядок уточнения границ земельного участка в 2021 году
Определение границ земельного участка необходимо для закрепления координат в Едином государственном...
Почему следует выбрать ковролин в качестве основного напольного покрытия?
Почему следует выбрать ковролин в качестве основного напольного покрытия?
Для того чтобы обустроить свой дом, офис или торговый зал, а также сделать его комфортным,...
Как купить квартиру в Уфе: полезные рекомендации
Как купить квартиру в Уфе: полезные рекомендации
Покупка квартиры в другом городе – всегда непростой процесс. Особенно, если речь идет о столице...
Все новости