Утверждение:
Крокодил более широкий, чем длинный.
Доказательство:
Сначала докажем, что крокодил более зеленый, чем длинный:
1. Крокодил более зеленый, чем длинный. Крокодил длинный только вдоль, а зеленый и вдоль и поперек.
Теперь необходимо доказать, что крокодил более широкий, нежели зеленый:
2. Крокодил более широкий, нежели зеленый. Крокодил зеленый только сверху, а широкий и сверху и снизу.
В силу транзитивности операции "более" исходная теорема полностью доказана.
Нравится
0 comments:
Отправить комментарий