Теорема: крокодил более длинный, чем широкий
Доказательство:
Разобьем теорему на две леммы:
Лемма 1.
Крокодил более длинный, чем зеленый.
Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем широкий.
Доказательство: крокодил зеленый и в длину и в ширину, а широкий только в ширину.
Из леммы 1 и леммы 2, с yчетом тpанзитивности отношения "более... чем...",
следует: крокодил более длинный, чем широкий.
Контр-теорема: крокодил более широкий, чем длинный.
Доказательство:
Разобьем теорему на две леммы
Лемма 1.
Крокодил более широкий, чем зеленый.
Доказательство: крокодил широкий и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем длинный.
Доказательство: крокодил зеленый и в длинну и в ширину, а длинный только в длинну.
Опять же, из леммы 1 и леммы 2 следует: крокодил более широкий, чем длинный.
Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако
это неверно, так как все неравенства строгие.
ВЫВОД:
Крокодила не существует.
©
yaplakal.com