Аннотация:В условиях предвузовского образования следует обратить особенно пристальное внимание на использование формул логики в теории математических доказательств.
Прежде чем переходить к теории математических доказательств, необходимо обсудить понятие классификации, без которого полное рассмотрение вопроса невозможно.
Доказательность – важное качество правильного мышления. Теория доказательства, наряду с теорией опровержения, является в современных условиях средством формирования научно обоснованных убеждений. В статье описываются прямые и непрямые (косвенные) доказательства. В свою очередь, косвенные доказательства делятся на два вида – доказательство «от противного» (апагогическое) и доказательство методом исключения (разделительное). Обсуждаются специфические особенности этих методов доказательства, объясняется путаница в названиях методов. Изложение материала сопровождается примерами из курса математики для подготовительных факультетов. Впоследствии этот материал вошёл в монографию "Модель выпускника подготовительного факультета в пространстве предвузовского математического образования" (см. в разделе "Книги", 2005 или 2011, с. 132-140).
