Доказательство как логическая процедура

1. Доказательство как логическая процедура.

ДОКАЗАТЕЛЬСТВО КАК ЛОГИЧЕСКАЯ
ПРОЦЕДУРА.
Выполнил: Чуриков С.А.
Студент 1 курса 13 группа
Проверил: Петроченко В.И.

2. План: 1.Определение доказательства. 2.Логическая структура доказательства. 3.Виды доказательств. 4.Заключение.

3. 1.Определение доказательства.

■ Доказательство — это логическая операция
обоснования истинности утверждения с
помощью фактов и связанных с ним
суждений. С помощью совокупности
логических приёмов истинность какого-либо
суждения обосновывается исходя из других
истинных суждений.

4. 2.Логическая структура доказательств.

■ Тезис — утверждение, истинность или ложность которого
обосновывается посредством данного доказательства.
■ Аргументы и факты — это положения, из которых
выводится истинность или ложность тезиса.
■ Демонстрация (форма доказательства) — способ
обоснованной логической связи между утверждаемым
тезисом и аргументами.

5. 3.Виды доказательств.

■ Прямое доказательство идет от рассмотрения
аргументов к доказательству утверждаемого
тезиса, то есть истинность доказательства
непосредственно обосновывается
аргументами. Широко используется прямое
доказательство в статистических отчетах, в
различного рода документах, в
постановлениях.

6.

■ Непрямое (косвенное) доказательство — это
доказательство, в котором истинность
выдвинутого тезиса обосновывается путём
доказательства ложности утверждаемого
антитезиса. Оно применяется тогда, когда нет
аргументов для прямого доказательства.