Лекции по математической логике

Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга.
Метод натурального исчисления.
Задания на практическую работу по логике высказываний.
Примеры решения задач.
Доказать методом натурального исчисления истинность следующей клаузы.
Доказать аксиоматическим методом истинность клаузы.
Доказать методом Вонга истинность следующей клаузы.
Доказать методом резолюций истинность следующей клаузы.
С помощью средств предыдущего примера доказать клаузу.
Составить легенды для приведенных ниже четырех клауз.
Операции над предикатами и кванторами.
Функциональная природа предиката.
Процедура составления истинных клауз из предикатов с кванторами.
Построение доказательств в логике предикатов.
Задания на практическую работу по логике предикатов.
Разбор решений задач по логике предикатов.