| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [Матан] Задачка на логику |
| Автор: Гениальный123Робот 30.3.2008, 11:18 |
| Помогите решенить задачу при помощи логики предикатов. Некоторые козы любят сено. Ни одна собака сена не любит. Значит, некоторые собаки – не козы. Спасибо большое заранее! |
| Автор: ST1 30.3.2008, 19:39 |
| Необходимо доказать что существует собака, не являющаяся козой. Докажем методом от противного, а именно, берем отрицание: любая собака является козой. По условию все козы любят сено => любая собака любит сено (if A => B, B=>C then A=>C) Но по второму условию ни одна собака не любит сено. Получили противоречие. ч.т.д. |
| Автор: Гениальный123Робот 30.3.2008, 21:35 |
| Ну спасибо большое, тов. ST1, выручил! ;) |