Как доказать от противного:
Доказательство от противного — это такой метод, когда мы предполагаем, что утверждение, которое хотим доказать, неверно, а потом показываем, что это предположение приводит к противоречию. Если всё сделано верно, значит, наше исходное предположение было ошибочным, а значит, первоначальное утверждение — истинно!
- Приходим к противоречию с каким-нибудь истинным высказыванием. (Это как найти ошибку в своих рассуждениях, которая противоречит известным фактам).
- Делают вывод о том, что сделанное предположение ложно, а значит, утверждение истинно. (Если мы нашли противоречие, значит, наше первоначальное предположение было неверным).
- Делают предположение, что истинно утверждение не В. (Сначала мы предполагаем обратное тому, что хотим доказать. Если хотим доказать, что утверждение В истинно, то предполагаем, что оно ложно, то есть истинно «не В»).
Порядок такой: 3 -> 1 -> 2