Используя логику еще древние греки доказывали неосуществимое. Часто они называли это софистикой, которая использовалась на третейском суде. Задача используя логический аппарат доказать теорему о несуществовании крокодила.
Доказательство:
1. Крокодил более длинный, чем зеленый.
Доказательство: Крокодил длинный и сверху и снизу, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Доказательство: Крокодил зеленый и вдоль и поперек, а широкий только поперек.
Отсюда следует, что крокодил более длинный, чем широкий.
Аналогично доказывается, что крокодил более широкий чем длинный. Отсюда, казалось бы, можно было сделать вывод, что крокодил квадратен, но все неравенства в рассуждениях были строгими. Из чего следует, что крокодила не существует.
Доказательство:
1. Крокодил более длинный, чем зеленый.
Доказательство: Крокодил длинный и сверху и снизу, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Доказательство: Крокодил зеленый и вдоль и поперек, а широкий только поперек.
Отсюда следует, что крокодил более длинный, чем широкий.
Аналогично доказывается, что крокодил более широкий чем длинный. Отсюда, казалось бы, можно было сделать вывод, что крокодил квадратен, но все неравенства в рассуждениях были строгими. Из чего следует, что крокодила не существует.
Комментариев нет:
Отправить комментарий