Теорема: Крокодил более длинный, чем широкий

Доказательство:

Разобьем теорему на две леммы:

Лемма 1.

Крокодил более длинный, чем зеленый.

Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.

Лемма 2.

Крокодил более зеленый, чем широкий.

Доказательство: крокодил зеленый и в длину и в ширину, а широкий только в

ширину.

Из леммы 1 и леммы 2, с yчетом тpанзитивности отношения "более... чем...",

следует: Крокодил более длинный, чем широкий

Контр-теорема:

Крокодил более широкий, чем длинный.

Доказательство:

Разобьем теорему на две леммы

Лемма 1.

Крокодил более широкий, чем зеленый.

Доказательство: крокодил широкий и сверху и снизу, а зеленый только сверху.

Лемма 2.

Крокодил более зеленый, чем длинный.

Доказательство: крокодил зеленый и в длинну и в ширину, а длинный только в

длинну.

Опять же, из леммы 1 и леммы 2 следует: Крокодил более широкий, чем длинный.

Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако

это неверно,так как все неравенства строгие

ВЫВОД:

Крокодил не существует