Задание по логике первого порядка
Добавлено: 02 фев 2016, 14:19
Здравствуйте! Помогите решить задание!
Надо формализовать посылки и гипотезу с использованием языка логики первого порядка.
и далее либо доказать либо опровергнуть гипотезу.
Посылки:
Коготок увяз - всей птичке пропасть
Йогурт Данон - полезнее йогурта Эрмит
Не все то золото что блестит
Гипотеза:
не все йогурты одинаково полезны
Надо формализовать посылки и гипотезу с использованием языка логики первого порядка.
и далее либо доказать либо опровергнуть гипотезу.
Посылки:
Коготок увяз - всей птичке пропасть
Йогурт Данон - полезнее йогурта Эрмит
Не все то золото что блестит
Гипотеза:
не все йогурты одинаково полезны