Интерпретация гербового знака
-
Интерпретация Гербранда в математической логике
- Интерпретация Гербранда присваивает простые значения константам и функциональным символам.
- Константы интерпретируются сами по себе, а функциональные символы — как прикладные функции.
- Символы-предикаты обозначают подмножества в основе гербария, определяя истинность основных атомов.
-
Значение интерпретаций Herbrand
- Если существует интерпретация, удовлетворяющая набору положений, существует и интерпретация Herbrand, удовлетворяющая этим положениям.
- Теорема Хербранда утверждает, что если S невыполнимо, существует конечный набор основных экземпляров из вселенной Хербранда, который делает S невыполнимым.
- Проверка невыполнимости конечного множества экземпляров может быть выполнена за конечное время, но существует бесконечное количество таких наборов.
-
История и контекст
- Интерпретации Гербранда названы в честь Жака Эрбрана.
- Статья является заглушкой и приглашает к расширению для улучшения Википедии.