Логика

📌 Определение
В непрямых умозаключениях вывод делается на основе исключения ложных вариантов.

📌 Разновидности:

1. Метод исключения – все возможные варианты проверяются, и ложные исключаются.
2. Апагогическое умозаключение (доказательство от противного) – предполагается ложность вывода, а затем доказывается, что это приводит к противоречию.

🔹 Пример (метод исключения):

1. Преступление совершил Иван, Пётр или Анна.
2. Анна была в другом городе, Пётр не выходил из дома.
3. Следовательно, преступление совершил Иван.

🔹 Пример (доказательство от противного):

1. Предположим, что корень из 2 – рациональное число.
2. Тогда его можно представить в виде дроби p/q, где p и q – целые числа.
3. Дальнейший анализ приводит к противоречию.
4. Следовательно, корень из 2 – иррациональное число.