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