Методы доказательств

Доказательством является установление истинности высказывания $P\Rightarrow Q$. Для доказательство нужно исключить ситуацию когда $P$ истинно, а $Q$ ложно.

1. Прямое рассуждение. Предположить, что $P$ и доказать $Q$.
2. Обратное рассуждение. Доказать $\overline{Q}\Rightarrow \overline{P}$.
3. Метод «от противного». Предположить что $P$ истинно, а $Q$ ложно и прийти к противоречию.

Ссылки на эту заметку

Эта заметка на GitHub

Обсудить на форуме