Контрольная работа по предмету Логика на тему: Контрольная по матем. логике и теории алгоритмов

Вариант 15.
Задание 1.
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.
Варианты заданий в формате: (номер фигуры силлогизма, название фигуры).

15. 4-Camenes.
16. Задание №2.
17. Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).
18.
19. 15. «Неверно, что если я сдам зачет по математической логике, то пойду в казино или в кино».
20. Задание №3.
21.
22. Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
23. 15. .
24.
25. Задание №4.
26. Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
27.
28. 15. «Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и нелинейна, и немонотонна. Следовательно, она самодвойственна и не сохраняет константу нуля».
29. Задание №5.
30. По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.