Математическая логика — это раздел современной формальной логики, в котором логические выводы исследуются посредством логических исчислений на основе математического языка, аксиоматизации и формализации.
Содержимое: - Булевы функции - Формы представления булевых функций - Пример. Булевы функции - Что такое Высказывание - Отрицание - Конъюнкция - Дизъюнкция - Импликация - Эквиваленция - Основные законы математической логики - Пример. Доказать справедливость формул де Моргана