Прямое и косвенное доказательство

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

Состав доказательства:

· Тезис — суждение, истинность которого следует доказать.

· Аргументы (или основания) — истинные суждения, из которых следует тезис.

· Форма (или демонстрация, методы и способы доказывания опровержения) — умозаключение связывающее аргументы с тезисом.

Виды доказательств:

1) Прямые (истинность тезиса непосредственно следует из истинности аргумента)

2) Косвенные:

· апгогическое — доказательство от противного

· разделительное — доказательство, где тезис — одна из альтернатив разделительного суждения, причем в этом суждении должны быть перечислены все альтернативы, кроме одной, которая и является тезисом доказательства.

Доказательством в самом широком смысле следует называть логическую процедуру выявления или восстановления последовательности в рассуждении, целью которой является установление (подтверждение) истинности некоторого высказывания.