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

Задание 1.
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.
Варианты заданий в формате: (номер фигуры силлогизма, название фигуры).
3. 1-Ferio.
Задание №2.
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

3. «Если мед есть, то горшок становится пустым, а Винни-Пух – сытым».
Задание №3.
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
3.
Задание №4.
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
3. «Если неверно, что X или Y, то и Z, и Z1. Не Z или не Z1.Следовательно, X или Y.
4. Задание №5.
5. По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.

Нет