Исчисление высказываний. 4.3.5 — 4.3.9 и 4.4.1.

Лекция по дискретной математике СПбПУ от Новкива Ф.А. Лекции были выложены студентами преподавателя, проводящего лекции по дискретной математике.

Отрывок из лекции 7. 18.03
00:00 — Пример для 4.3.5
06:43 — 4.3.6 Дедукция
16:40 — 4.3.7 Некоторые теоремы исчисления высказываний
18:08 — 4.3.8 Множество теорем исчисления высказываний
23:42 — 4.3.9 Другие аксиоматизации исчисления высказываний
27:20 — 4.1 Исчисление предикатов
27:55 — 4.1.1 Определение исчисления предикатов