Метод резолюций и дерево секвенций

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

Смотрите также