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

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

 - тавтология

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

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

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

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

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

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

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

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

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

Где:

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

формальный

вывод      

(1)                     

Покори английский в игровой форме! Основные преимущества:

• Занимайся с любого девайса
• Тренируйся с азартом
• Выбирай интересные материалы
• Проходи увлекательные языковые курсы
• Учись со львом играючи

Начать изучать бесплатно