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

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

18.03.2016, 05:56. Просмотров 301. Ответов 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
Привет! Вот еще темы с решениями:

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

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

Проверить, верны ли следующие следствия
Проверить, верны ли следующие следствия: F\Rightarrow (G \Rightarrow H),(H...

Проверить, верны ли следующие следствия
Нужно сделать задание под номером 9


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

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

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