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

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

Полный текст статьи:

Оценка (логика) — Википедия