Условие задачи
Рассмотрим в качестве универсума множество всех людей и введем константы Холмс (Шерлок Холмс) и Мориарти. Пусть предикат A(x, y) истинен только тогда, когда «человек x может победить человека y». Переведем на формальный язык утверждения, связанные с борьбой Холмса против преступников.
Ответ
- Холмс может победить любого, кто может победить Мориарти.
x (A(x, Мориарти) A(Холмс, x))
- Холмс может победить любого, кого может победить Мориарти.
x (A(Мориарти, x) A(Холмс, x))
- Если Мориарти может быть побежден, то Холмс сможет победить Мориарти.
x A(x, Мориарти) ...
Потяни
