![]() |
Модераторы: Poseidon |
![]() ![]() ![]() |
|
Гениальный123Робот |
|
|||
![]() Опытный ![]() ![]() Профиль Группа: Участник Сообщений: 257 Регистрация: 2.1.2006 Репутация: нет Всего: нет |
Помогите решенить задачу при помощи логики предикатов.
Некоторые козы любят сено. Ни одна собака сена не любит. Значит, некоторые собаки – не козы. Спасибо большое заранее! |
|||
|
||||
ST1 |
|
|||
Новичок Профиль Группа: Участник Сообщений: 20 Регистрация: 20.7.2005 Где: Уфа Репутация: 1 Всего: 1 |
Необходимо доказать что существует собака, не являющаяся козой.
Докажем методом от противного, а именно, берем отрицание: любая собака является козой. По условию все козы любят сено => любая собака любит сено (if A => B, B=>C then A=>C) Но по второму условию ни одна собака не любит сено. Получили противоречие. ч.т.д. |
|||
|
||||
Гениальный123Робот |
|
|||
![]() Опытный ![]() ![]() Профиль Группа: Участник Сообщений: 257 Регистрация: 2.1.2006 Репутация: нет Всего: нет |
Ну спасибо большое, тов. ST1, выручил! ;)
|
|||
|
||||
![]() ![]() ![]() |
Правила форума "Центр помощи" | |
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Центр помощи | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |