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