Доказательство «от противного» (лат. contradictio in contrarium), или апагогическое косвенное доказательство, — вид доказательства, при котором «доказывание»...

используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨]...

содержит конечное число элементов), и далее ведут доказательство теоремы от противного. Хотя такое доказательство тоже возможно, оригинальное рассуждение Евклид...

системы, в которых он не соблюдается, например, логика Клини. Доказательство от противного Кириллов В. И., Старченко А. А. Логика: учебник для юридических...

вообще говоря, неприемлемым. Типичным тому примером служит всякое доказательство от противного суждения А, имеющего вид «при всяком х существует у такой, что...

Математическая логика. — М.: Высшая школа, 1975. — 176 с. Проблема курицы и яйца Доказательство от противного Теорема Гёделя о неполноте Парадокс лжеца Дихотомия...

Нонсенс Абсурдистан reductio ad absurdum — приведение к абсурду, доказательство от противного. Примечания Список значений слова или словосочетания со ссылками...

{2}}]} и является подполем поля вещественных чисел. Применим доказательство от противного: допустим, 2 {\displaystyle {\sqrt {2}}} рационален, то есть...

Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения — в отличие от неконструктивного...

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

натуральные числа являются интересными. Доказательство этого утверждения осуществляется методом «от противного»: если существует непустое множество неинтересных...