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