Задача по логике про Македонского

[Regis]

Здравствуйте, хотелось бы попросить помощи в решении задачи по логике. Задача заключается в переведении данной задачи на логический язык предикатов.

"Никто из ныне живущих не видел живого Александра Македонского"

Даже за любые наброски и мысли буду очень благодарен. Заранее спасибо

[Лев]

Эм-мм...

Все живущие ныне не видели ЖАМ.
Все видевшие ЖАМ ныне не живут.

Этого достаточно?

Надеюсь, не стоит упоминать, что обратной связи нет (т.е. не все, кто не живет, видели ЖАМ)...

[Regis]

Лев, благодарю за помощь, но логическое построение я понимаю, мне интересно само построение выражения на логическом языке с использованием квантеров и так далее. Я пытаюсь составить, но постоянно получается что что-то забываю.

[Regis]

Смотрите:
Область - люди
АМ - Александр Македонский
В(x,у) - x видел живого у
Л(x) - свойство быть человеком
М(x) - свойство быть мёртвым

Выражение на русском языке с сипользованием логических формулировок:

Все(Ныне живущие => Не видели живого Александра Македонского) и все(Видевшие живого Александра Македонского => Мертвы)

Выражение на языке логики:

*Квантер всеобщности*x(Л(x)=>-В(x,АМ) *знак и* *квантер всеобщности*у(В(у,АМ)=>М(y))

Вопрос - что не так?

[Лев]

B(x, AM) = M(x)

[Regis]

А разве из первого выражения не считается что переменная x занята? И не противоречит ли такой феномен что у нам все люди не видели живого АМ, а все люди кто видел мертвы?

[Лев]

Исходя из условия, множество людей вообще не при делах: ВСЕ мертвы (даже лошади и собаки)

[Regis]

Премного благодарен за оперативную помощь

[Лев]

 
всегда пожалуйста.


Только "свойство быть мертвым" рекомендую заменить отрицанием наличия живых Х (ближе к условию). Или хотя бы указать это в определении М(х). А то мало ли что (живые мертвецы и все такое)...

Спокойной ночи