Статья 518

При симметричности в модельной структуре получаем модельную структуру.

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

Введем понятие истинности выполнимости формул выданном мире при данном приписывании.

Запись означает, что формула истинна выполнима в мире модели при приписывании, означает, что формула ложна не выполнима в модели при приписывании. Пусть, тогда имеем.