Оглавление
Условное доказательство
-
Условное доказательство
- Доказательство, утверждающее условие и доказывающее, что предшествующее условие обязательно приводит к последующему
- Цель: продемонстрировать, что если бы условие было истинным, то из него следовал бы желаемый вывод
- Действительность условного доказательства не требует истинности условия, а только его следствия
-
Значение условных доказательств
- Важны в математике
- Связывают несколько недоказанных гипотез, что упрощает доказательство
- Пример: NP-полный класс теории сложности
-
Символическая логика
- Пример: доказательство A → C из первых двух посылок
-
Дополнительные ресурсы
- Теорема о дедукции
- Логическое следствие
- Логическое исчисление
-
Рекомендации
- Роберт Л. Кози, Логика, множества и рекурсия, Джонс и Барлетт, 2006
- Дов М. Габбай, Франц Гюнтнер (ред.), Справочник по философской логике, том 8, Springer, 2002