WikiDer > Оценка (логика)
В логика и теория моделей, а оценка возможно:
- В логика высказываний, назначение ценности истины к пропозициональные переменные, с соответствующим присвоением значений истинности всем пропозициональные формулы с этими переменными.
- В логика первого порядка и логики более высокого порядка, a структура, ( интерпретация) и соответствующее присвоение значения истинности каждому предложению на языке для этой структуры (собственно оценка). Интерпретация должна быть гомоморфизм, а оценка - это просто функция.
Математическая логика
В математической логике (особенно в теории моделей) оценка - это присвоение значений истинности формальным предложениям, следующим за схема истины. Оценки также называют присвоением истины.
В логике высказываний нет кванторов, и формулы строятся из пропозициональных переменных с использованием логических связок. В этом контексте оценка начинается с присвоения значения истинности каждой пропозициональной переменной. Это присвоение можно однозначно расширить до присвоения значений истинности всем пропозициональным формулам.
В логике первого порядка язык состоит из набора постоянных символов, набора функциональных символов и набора символов отношения. Формулы построены из атомарные формулы используя логические связки и кванторы. А структура состоит из набора (область дискурса), который определяет диапазон кванторов, а также интерпретации символов констант, функций и отношений в языке. Соответствие каждой структуре - это уникальное задание истинности для всех. фразы (формулы без свободные переменные) на языке.
Обозначение
Если это оценка, то есть отображение атомов в множество , то для обозначения оценки обычно используются двойные скобки; то есть, для предложения .[1]
Смотрите также
Рекомендации
- ^ Дирк ван Дален, (2004) Логика и структура, Springer Universitext, (см. раздел 1.2) ISBN 978-3-540-20879-2
- Расиова, Елена; Сикорский, Роман (1970), Математика метаматематики (3-е изд.), Варшава: PWN., Глава 6 Алгебра формализованных языков.
- Дж. Майкл Данн; Гэри М. Хардегри (2001). Алгебраические методы в философской логике. Издательство Оксфордского университета. п. 155. ISBN 978-0-19-853192-0.