Оценка (логика) - Valuation (logic)


Из Википедии, свободной энциклопедии

В логике и теории моделей , оценка может быть:

Математическая логика

В математической логике ( в частности , теория модели), нормирование является присвоением значений истинности для формальных предложений , которые следуют схема истинности . Приблизительные также называют задание истинности.

В логике высказываний, неты кванторов, и формулы строятся из пропозициональных переменных с помощью логических связок. В этом контексте оценка начинается с присвоения значения истинности каждой пропозициональной переменной. Это назначение может быть однозначно продолжается до присвоения значений истинности всех пропозициональных формул.

В логике первого порядка, язык состоит из набора постоянных символов, коллекции функциональных символов, а также совокупности символов отношений. Формулы строятся из атомарных формул с использованием логических связок и кванторов. Структура состоит из множества ( домен дискурса ) , который определяет диапазон квантификаторов, наряду с интерпретациями постоянной, функции и символами отношений в языке. В соответствии с каждой структурой является уникальным присваивание истинности для всех предложений (формулы, не имеющие свободных переменных ) в языке.

нотация

Если это оценка, то есть, отображение из атомов в набор , то двойной кронштейн обозначение обычно используется для обозначения оценки; то есть, для предложения .

Смотрите также

Рекомендации