2010-03-01

Логическая задача Льюиса Керрола.

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

Update:Я смог решить задачу только используя Reductio Ad Absurdum. Скорее всего в интуиционистской логике задача не решаема, т.е. прямого доказательства нет.

http://en.wikipedia.org/wiki/Reductio_Ad_Absurdum