ВА01. Математична логіка. Основні поняття.

Підтримати канал: https://vask.study/ Елементи математичної логіки. Основні поняття. Операції над твердженнями і їх властивості. Таблиця істинності. Приклад. Використання кванторів. 0:00 Твердження 2:10 Операції над твердженнями 6:25 Таблиця істинності 9:20 Імплікація 12:10 Властивості диз'юнкції і кон'юнкції 20:50 Властивості заперечення. Закон Де Моргана 25:15 властивості імплікації 30:00 Приклад спрощення логічного виразу 33:00 Квантори і предикати.