Матлогика 1. Высказывания. Логические связки.

Таймкоды: 00:00:00 - введение 00:04:40 - утверждения, высказывания 00:18:34 - связки 00:24:08 - таблицы истинности 00:42:43 - составные выражения 00:43:41 - тавтология, логически эквивалентные формулы 00:55:31 - законы Де Моргана 00:57:04 - закон контрапозиции 00:58:23 - “склейка“ посылок импликации 01:01:04 - анализ логической формулы Лекция: Лектор: Дашков Евгений Владимирович Плейлист: