Антитезис
(от греч. antitesis - противоположение) – суждение, противоречащее тезису доказательства. Используется в косвенном доказательстве тезиса.
(от греч. apagogos – отводящий) – косвенное доказательство, в котором антитезисом является суждение, противоречащее (контрадикторное) тезису
Апагогическое доказательство
Определение 1
Виды косвенного доказательства – это варианты доказательства...
Выделяют следующие основные виды косвенных доказательств:
апагогическое,
разделительное....
Апагогическое доказательство также называют доказательством от противного....
Определение 2
Апагогическое доказательство – это доказательство, состоящее в том, что сначала доказывают...
Формализованная схема доказательства утверждения А апагогическим способов строится следующим образом.
Указаны четыре математических метода решения задач и доказательства теорем. Отмечены имена ученых, внесших вклад в их формирование и развитие. Показаны многочисленные примеры применения этих методов. Приведена историческая справка.
Общая характеристика доказательств
Определение 1
Прямое и косвенное доказательство – это два способа...
Прямое доказательство
Определение 2
Прямое доказательство заключается в поиске убедительных аргументов...
Косвенное доказательство
Определение 3
Косвенным доказательством называют доказательство, в рамках...
Одним из видов косвенного доказательства является апагогическое доказательство, также называемое доказательством...
Еще один вид косвенного доказательства – разделительное доказательство (базирующееся на методе исключения
Рассмотрены логико-методологические схемы, которые использовались отечественным инженером Николаем Михайловичем Герсевановым для обоснования устойчивости проектируемых зданий. Работа Герсеванова «Применение математической логики к расчету сооружений» была единственной в этом роде и одним из поздних его опубликованных исследований. Дальнейшей разработки это направление теоретического анализа инженерного проектирования не получило.
(от греч. antitesis - противоположение) – суждение, противоречащее тезису доказательства. Используется в косвенном доказательстве тезиса.
(греч. aporia – затруднение, недоумение - < греч. а – отрицательная частица, poros - выход) – трудно разрешимая логическая проблема, связанная с противоречием между данными опыта и их мысленным образом.
суждения, посредством которых обосновывается истинность к.-л. другого суждения.