Мат логика
Мат логика
нужно выяснить выводиться ли формула из формул все привожу к ЭД получаю из формул т.к. B и D входит не контрарно то можно удалить далее можно ли отсюда сделать вывод что формула не выводиться из системы гипотез ,и правильно ли я сделал?
Последний раз редактировалось k1ng1232 29 ноя 2019, 18:22, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат логика
Формула не должна выводиться,тк если формула выводима,то импликация общезначима. Однако при A=1,B=1,C=0,D=0 предположение =1, a вывод A&C=0. A по решению -не все понял
Последний раз редактировалось Ian 29 ноя 2019, 18:22, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат логика
дословно задание :C помощью стратегии очищения уменьшить заданную систему гипотез и доказать выводимость данного утверждения методом резолюций ну для начала я выразил первую формулу через элементарные дизъюнкции
Последний раз редактировалось k1ng1232 29 ноя 2019, 18:22, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат логика
A ,так у Bac система 4х условий
A я думал дано одно первое. Тогда конечно легко выводится.
A я думал дано одно первое. Тогда конечно легко выводится.
Последний раз редактировалось Ian 29 ноя 2019, 18:22, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат логика
но тем не менее я правильно решил,т.e. то что формула невыводима из систем гипотез?
Последний раз редактировалось k1ng1232 29 ноя 2019, 18:22, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 34 гостей