Математическая логика. Шпаргал

Математическая логика — это раздел современной формальной логики, в котором логические выводы исследуются посредством логических исчислений на основе математического языка, аксиоматизации и формализации.

Содержимое:

- Булевы функции

- Формы представления булевых функций

- Пример. Булевы функции

- Что такое Высказывание

- Отрицание

- Конъюнкция

- Дизъюнкция

- Импликация

- Эквиваленция

- Основные законы математической логики

- Пример. Доказать справедливость формул де Моргана