Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Математическая логика (вышмат 2 курс). Пропозициональная логика. Решение задач + теория 0:00 – Основная теория пропозициональной логики Выяснить, верно ли утверждение, используя: 2:00 – Построение таблицы истинности 2:39 – Метод резолюций 4:55 – Секвенциальное исчисление 7:54 – Как подбирать контрпример?