Доказательство – логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Опровержение - вид доказательного процесса, направленного на уже существующие доказательства для того, чтобы показать их несостоятельность.
Аннотация к работе
Непрямые (косвенные) - это такие доказательства, в которых истинность выдвигаемого тезиса обосновывается путем доказательства ложности антитезиса, они делятся на два вида: Доказательства от противного, осуществляется путем установления ложности суждения противоречащего тезису. Как было сказано выше в любом доказательстве имеется три компонента: тезис, аргументы и демонстрация. Его первая, условная, посылка: если аргументы являются истинными суждениями, а умозаключение построено правильно, то тогда его вывод есть истинное (доказанное) суждение; вторая, категорическая: аргументы истинны, умозаключение правильно. Опровержение тоже имеет три обычных компонента всякого доказательства: тезис, аргументы и демонстрацию. Ведь в то время, как доказательство есть умозаключение об умозаключении, опровержение, в отличие от него, представляет собой умозаключение о доказательстве.