"Круг в доказательстве" представляет собой обоснование справедливости доказываемого положения с помощью самого себя:
Алгоритм обладает свойством:
Антитезис косвенного доказательства обоснован, если из него вытекают следствия, противоречащие фактам:
В качестве посылок доказательства могут использоваться оценки, нормы и другие высказывания, относящиеся к активному употреблению языка:
В разделительном косвенном доказательстве в качестве альтернатив используются только тезис и антитезис:
Во всяком доказательстве используется антитезис:
Всякое доказательство представляет собой правильное умозаключение с истинными посылками:
Вычислительная машина мыслит:
Доказательство представляет собой универсальный, применимый во всякой аудитории способ убеждения:
Доказательство является единственным эффективным способом убеждения:
Доказательство, в котором используется отрицание тезиса (антитезис), является:
Источником "убедительной силы" доказательства являются законы логики:
Логическая связь между посылками и тезисом доказательства является законом логики:
Многочисленные "доказательства существования бога" остаются убедительными и теперь:
Можно назвать косвенное доказательство "доказательством от противного":
Основание имеется во всяком доказательстве:
От оратора всегда следует требовать убеждения посредством доказательства:
Подмена тезиса доказательства - замещение его в ходе доказательства другим утверждением:
Понятие доказательства представляет собой ясное понятие:
Понятие математического доказательства является неизменным:
Понятия теории аргументации и литературной риторики являются:
Предложение формализовать все математические доказательства и тем самым доказать непротиворечивость арифметики выдвигалось:
Примером алгоритма может служить операция:
Программа формализации доказательства начала реализовываться только во второй половине XIX века:
Процедура установления обоснованности некоторого утверждения путем выведения его из некоторых других, считаемых обоснованными, утверждений, есть доказательство:
Реальны доказательства с правдоподобными заключениями:
Роль доказательств в процессе убеждения переоценивалась в античности и в Средние века:
Связка "либо, либо" называется:
Силлогизм может использоваться в доказательстве:
Следует считать доказанным положение, из отрицания которого выведено противоречие:
Содержательная ошибка в доказательстве - использование в нем ложных аргументов:
Справедлив принцип: "Кто доказывает слишком много, тот ничего не доказывает":
Теорема о неполноте формализованной арифметики была доказана К. Гёделем:
Теория аргументации в античности называлась риторикой:
Уптребляется понятие доказательства в смысле, отличном от того, который придается понятию доказательства в логике:
Утверждение, которое требуется доказать, называется:
Формальная ошибка в доказательстве имеет место тогда, когда тезис доказательства не вытекает логически из посылок: