Тема 4 (3)

АКСИОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

ТЕОРЕМА ДЕДУКЦИИ

Теорема дедукции для исчисления CAP Применение теоремы дедукции

Литература:

    , Введение в логику, гл. IV §2 п.2.3. - 2.4. лекции

Дополнительная литература:

    «Введение в математическую логику» «Математическая логика»

Задания:

1.        Прочтите п.2.3. (гл.4 §2 учебника и «Введение в логику»), разберите доказательство теоремы дедукции

2.        Из п.2.4. (гл.4 §2 учебника и «Введение в логику») сделайте выписки  в тетрадь примеров применения теоремы дедукции.

Упражнение:

Выполните упр.3 (с.147 учебника)