WikiDer > Предикат истины
 | Эта статья не цитировать любой источники. (Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В формальных теориях правда, а предикат истины фундаментальная концепция, основанная на фразы из формальный язык как интерпретируется логически. То есть он формализует понятие, которое обычно выражается, говоря, что предложение, утверждение или идея «истинны».
Языки, допускающие предикат истины
На основе "определения Хомского" язык считается счетный набор предложений конечной длины, построенных из счетного набора символов. Предполагается, что теория синтаксиса вводит символы, а правила построения правильно сформированный фразы. Язык называется полностью интерпретируемым, если его предложениям приданы значения, так что все они либо истинны, либо ложны.
Полностью интерпретируемый язык L который не имеет предиката истинности, может быть расширен до полностью интерпретируемого языка Ľкоторый содержит предикат истины Т, т.е. предложение А ↔ Т(⌈А⌉) верно для каждого предложения А из Ľ, куда Т(⌈А⌉) означает «предложение (обозначается) А верно ". Основными инструментами доказательства этого результата являются обычный и трансфинитная индукция, методы рекурсии и Теория множеств ZF (ср.[1] и [2]).
Смотрите также
Рекомендации
 | Этот логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
 | Этот лингвистика статья - это заглушка. Вы можете помочь Википедии расширяя это. |