Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Violex
1 / 1 / 3
Регистрация: 02.03.2015
Сообщений: 58
1

Проверить аргумент методом резолюций. Получить все следствия из данных посылок

18.03.2016, 05:56. Просмотров 317. Ответов 0
Метки нет (Все метки)

Доброго времени суток. Пожалуйста помогите с заданием а то голову сломал.
Само задание:
"Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
«Если и X, и Y, то и Z, и не Y. Не Z или Y. Следовательно, не Y или не X»."

Но нужно определить только количество следствий.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
18.03.2016, 05:56
Ответы с готовыми решениями:

Найдите все неравносильные между собой и не тождественно истинные следствия из данных посылок
Найдите все неравносильные между собой и не тождественно истинные следствия из...

Найти все следствия из указанных посылок
Найти все не равносильные между собой и не тождественно истинные формулы...

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
Проверить выводимость в исчислении высказываний методом Куайна, методом...

Проверить правильность логического вывода составлением таблицы истинности, дедуктивным методом и методом резолюций
Относительно некоторого числа известно, что оно делится либо на 12, либо на 15....

Проверить умозаключение методом семантических таблиц и методом резолюций
Проверить правильность следующих умозаключений методом семантических таблиц и...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
18.03.2016, 05:56

Проверить истинность высказывания приведя его к ДНФ, КНФ и методом резолюций
Нуждаюсь в помощи! Необходимо решить задачу. Вот сама задача: Если студент...

Доказать клаузы методом резолюций, аксиоматическим методом, методом Вонга
Доказать клаузы методом резолюций, аксиоматическим методом, методом Вонга

Проверить справедливость логического следствия
Правильно ли я понимаю алгоритм?? Предположим нам дано какое то выражение в...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru