Статья 229

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