Найдено 1 соответствие

grynya
02 фев 2016, 14:19
Форум: Дискретная математика
Тема: Задание по логике первого порядка
Ответов: 1
Просмотров: 525

Задание по логике первого порядка

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

Перейти к расширенному поиску