Критерий выводимости в ИВ.

3.2.1  Формулировка теоремы.

Критерий выводимости в ИВ. — тавтология

при любой интерпретации алфавита (символов переменных)

Критерий выводимости в ИВ.

3.2.2  Понятие интерпретации.

символ переменной Критерий выводимости в ИВ. Критерий выводимости в ИВ. переменную поставим в соответствие.

Критерий выводимости в ИВ., где Критерий выводимости в ИВ. — проекция на Критерий выводимости в ИВ..

Критерий выводимости в ИВ.Критерий выводимости в ИВ.

Критерий выводимости в ИВ.               ; Критерий выводимости в ИВ. — только символ

               переменных, т.к.

               это заглавное слово

               формативной последо-

               вательности вида:

 

Где:

 

3.2.3  Доказательство теоремы.

Критерий выводимости в ИВ.

Критерий выводимости в ИВ.формальный

вывод Критерий выводимости в ИВ.     

Критерий выводимости в ИВ.

(1)                    Критерий выводимости в ИВ. 

 

Логика - доступно для всех