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