В качестве универсума - множество людей, введем константы Холмс и Мориарти. Пусть предикат A(x, y) истинен тогда, когда «человек x может победить человека y». Переведем на формальный язык утверждения, связанные с борьбой Холмса против преступников.
«В качестве универсума - множество людей, введем константы Холмс и Мориарти. Пусть предикат A(x, y) истинен тогда, когда «человек x может победить человека y». Переведем на формальный язык утверждения, связанные с борьбой Холмса против преступников.»
- Логика
Условие:
Рассмотрим в качестве универсума множество всех людей и введем константы Холмс (Шерлок Холмс) и Мориарти. Пусть предикат A(x, y) истинен только тогда, когда «человек x может победить человека y». Переведем на формальный язык утверждения, связанные с борьбой Холмса против преступников.
Решение:
- Холмс может победить любого, кто может победить Мориарти.
x (A(x, Мориарти) A(Холмс, x))
- Холмс может победить любого, кого может победить Мориарти.
x (A(Мориарти, x) A(Холмс, x))
- Если Мориарти может быть побежден, то Холмс сможет победить Мориарти.
x A(x, Мориарти) ...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э