Статья 230

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