Алексей (abel) wrote,
Алексей
abel

Categories:

Логическая задача

В книге Л. Кэррола "Логическая игра" есть такая забавная (и не слишком трудная) задача:
Основываясь на следующих 9 утверждениях, доказать что ни один разумный поросенок не отправится путешествовать на воздушном шаре:

1. Всякий, кто не танцует на туго натянутом канате и не ест пирожков за один пенс, стар.
2. Со свиньями, которые временами испытывают головокружение, обращаются почтительно.
3. Разумное существо, отправляясь в путешествие на воздушном шаре, берет с собой зонтик.
4. Не следует завтракать в присутствии посторонних тому, кто имеет смешной вид и ест пирожки за один пенс.
5. Юные существа, отправляющиеся в путешествие на воздушном шаре, временами испытывают головокружение.
6. Жирные существа, имеющие смешной вид, могут завтракать при посторонних, если только они не танцуют на туго натянутом канате.
7. Ни одно разумное существо не станет танцевать на туго натянутом канате, если оно временами испытывает головокружение.
8. Свинья с зонтиком имеет смешной вид.
9. Все, кто не танцует на туго натянутом канате и с кем обращаются почтительно, жирны.

Кто хочет поразвлечься, может присылать доказательство. Комменты пока будут скрываться.
Tags: загадки, математика
Subscribe

  • 75 городов: Испания

    Пята Испании, Италии медуза... О. Мандельштам Попробую сделать мини-обзор посещенных нами в разное время испанских городов за вычетом тех, что уже…

  • Напоминания Мордокниги

    5-Терре (июль 2014). Леонский собор (июль 2017).

  • Новый редактор

    DSCN1499 Получилось вставить фотку благодаря помощи коллеги sekvo. Но интерфейс я пока не очень понимаю. DSCN0352…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 12 comments

  • 75 городов: Испания

    Пята Испании, Италии медуза... О. Мандельштам Попробую сделать мини-обзор посещенных нами в разное время испанских городов за вычетом тех, что уже…

  • Напоминания Мордокниги

    5-Терре (июль 2014). Леонский собор (июль 2017).

  • Новый редактор

    DSCN1499 Получилось вставить фотку благодаря помощи коллеги sekvo. Но интерфейс я пока не очень понимаю. DSCN0352…