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

Замыканием формулы А называется формула, полученная из А приписыванием перед нею кванторов всеобщности по всем ее свободным переменным, при этом кванторы приписываются следующим образом: сначала записываем кванторы общности по всем свободным переменным х (если они есть) в порядке возраста­ ния их индексов, затем по свободным переменным у (если они есть) в порядке возрастания их индексов и т.д. Так, замыканием формулы (хз Д] ,yi} будет формула; а замыканием для формулы VjiBxa (•Хь.Уь^з)^?- А^ (хзДг) будет фор­ мула: Vxi Vx2Vx3(V>;i3x3 А^ (х1,у,,Хз)=:> А^ (хзДг))- Сначала узнайте факты, а потом интерпретируйте их как хотите. М. Твен Не существует фактов, есть лишь их unmepnpemaifuu. Ф. Ницше Когда я беру слово, оно означает то, что я хочу, не больше и не меньше, - сказал Шалтай презрительно. Вопрос в том, подчиняется ли оно вам, - сказала Алиса. Л. Кэрролл § 4. Интерпретация. Модель Интерпретацию будем считать заданной, если: 1. Задано непустое множество М, называемое областью интерпретации. 2, Заданы следующие соответствия: 56