Здравствуйте! Помогите решить задание!
Надо формализовать посылки и гипотезу с использованием языка логики первого порядка.
и далее либо доказать либо опровергнуть гипотезу.
Посылки:
Коготок увяз - всей птичке пропасть
Йогурт Данон - полезнее йогурта Эрмит
Не все то золото что блестит
Гипотеза:
не все йогурты одинаково полезны
Задание по логике первого порядка
Задание по логике первого порядка
Последний раз редактировалось grynya 27 ноя 2019, 18:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Задание по логике первого порядка
полезнее(данон, эрмит)
A x not (E y st полезнее(у,x)) - все йогурты дониково полезны
E x E y st полезнее(x,y) - формальное отрицание предыдущего
A x not (E y st полезнее(у,x)) - все йогурты дониково полезны
E x E y st полезнее(x,y) - формальное отрицание предыдущего
Последний раз редактировалось folk 27 ноя 2019, 18:43, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 0 гостей