1. Главная
  2. Библиотека
  3. Логика
  4. Котенок, который любит рыбу, поддается дрессировке. Кот...
Разбор задачи

Котенок, который любит рыбу, поддается дрессировке. Котенок без хвоста не станет играть с гориллой. Котенок с усами всегда любят рыбу. У котенка, поддающегося дрессировке, не бывает желтых глаз. Котенок, у которого нет хвоста, не имеет усов. Из данных

  • Предмет: Логика
  • Автор: Кэмп
  • #Логика аргументации
  • #Дедуктивные системы
Котенок, который любит рыбу, поддается дрессировке. Котенок без хвоста не станет играть с гориллой. Котенок с усами всегда любят рыбу. У котенка, поддающегося дрессировке, не бывает желтых глаз. Котенок, у которого нет хвоста, не имеет усов. Из данных

Условие:

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

Решение:

Рассмотрим доказательство от противного. Пусть существует котёнок с желтыми глазами, который играет с гориллой. Обозначим его за K.

  1. Из предпосылки (2) имеем: если котёнок играет с гориллой, то у него должен быть хвост. Следовательно, K имеет хвост.

  2. Предпосылка (4) гласит: у котёнка, который поддаётся дрессировке, не бывают желтых глаз. От противного получаем, что если у котёнка желтые глаза, то он не поддаётся дрессировке. Значит, K не поддаётся дрессировке.

  3. По предпосылке (1) котёнок,...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какой метод доказательства используется для вывода заключения из данных посылок?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет