Задание 1.
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.
Задание №2.
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).
Задание №3.
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
Задание №4.
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
Задание №5.
По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.
Валентина
Гуманитарный техникум экономики и права
Большое спасибо Елене за выполненную работу! Работа выполнена качественно, без замечаний. ...
Александра
МЭИ
Работа выполнена на 5, все выполнено замечательно, замечаний не было. Исполнителя рекомендую.
Юрий
ВЕИП
Чёткое соответствие выволненной работы поставленной задаче. Быстро, качественно и позитивно!
Анастасия
ИГПЧС
Юрий спасает который раз. Работа сделана досрочно. Все замечания исправляются быстро. Рек...