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

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

 - тавтология

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

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

символ переменной   переменную поставим в соответствие.

, где  - проекция на .

               ;  - только символ

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

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

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

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

Где:

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

формальный

вывод      

(1)