|
Название: Задача по логике про Македонского Отправлено: Regis от Декабрь 24, 2010, 20:45:11 Здравствуйте, хотелось бы попросить помощи в решении задачи по логике. Задача заключается в переведении данной задачи на логический язык предикатов.
"Никто из ныне живущих не видел живого Александра Македонского" Даже за любые наброски и мысли буду очень благодарен. Заранее спасибо :) Название: Re: Задача по логике про Македонского Отправлено: Лев от Декабрь 24, 2010, 21:18:34 Эм-мм...
Все живущие ныне не видели ЖАМ. Все видевшие ЖАМ ныне не живут. Этого достаточно? Надеюсь, не стоит упоминать, что обратной связи нет (т.е. не все, кто не живет, видели ЖАМ)... Название: Re: Задача по логике про Македонского Отправлено: Regis от Декабрь 24, 2010, 21:43:43 Лев, благодарю за помощь, но логическое построение я понимаю, мне интересно само построение выражения на логическом языке с использованием квантеров и так далее. Я пытаюсь составить, но постоянно получается что что-то забываю.
Название: Re: Задача по логике про Македонского Отправлено: Regis от Декабрь 24, 2010, 22:09:04 Смотрите:
Область - люди АМ - Александр Македонский В(x,у) - x видел живого у Л(x) - свойство быть человеком М(x) - свойство быть мёртвым Выражение на русском языке с сипользованием логических формулировок: Все(Ныне живущие => Не видели живого Александра Македонского) и все(Видевшие живого Александра Македонского => Мертвы) Выражение на языке логики: *Квантер всеобщности*x(Л(x)=>-В(x,АМ) *знак и* *квантер всеобщности*у(В(у,АМ)=>М(y)) Вопрос - что не так? Название: Re: Задача по логике про Македонского Отправлено: Лев от Декабрь 24, 2010, 22:22:44 (http://img577.imageshack.us/img577/2292/11671652.png)B(x, AM) = M(x)
Название: Re: Задача по логике про Македонского Отправлено: Regis от Декабрь 24, 2010, 22:26:48 А разве из первого выражения не считается что переменная x занята? И не противоречит ли такой феномен что у нам все люди не видели живого АМ, а все люди кто видел мертвы?
Название: Re: Задача по логике про Македонского Отправлено: Лев от Декабрь 24, 2010, 22:28:04 Исходя из условия, множество людей вообще не при делах: ВСЕ мертвы (даже лошади и собаки)
Название: Re: Задача по логике про Македонского Отправлено: Regis от Декабрь 24, 2010, 22:30:59 Премного благодарен за оперативную помощь
Название: Re: Задача по логике про Македонского Отправлено: Лев от Декабрь 24, 2010, 22:35:57 :beer:
всегда пожалуйста. Только "свойство быть мертвым" рекомендую заменить отрицанием наличия живых Х (ближе к условию). Или хотя бы указать это в определении М(х). А то мало ли что (живые мертвецы и все такое)... Спокойной ночи :) |