Що означає proof by contradiction?

Де і як уживається

Починають Suppose, for contradiction, that… або Assume the opposite; завершують This is a contradiction чи символом ↯. Класичні приклади — ірраціональність √2 та нескінченність множини простих чисел.

Приклади речень

1. We use proof by contradiction: suppose √2 = p/q in lowest terms.

   Застосуємо доведення від супротивного: припустімо, що √2 = p/q, де дріб нескоротний.

   Припущення про раціональність має привести до суперечності.

2. Proof by contradiction is often the easiest way to show that something does not exist.

   Доведення від супротивного часто є найпростішим способом показати, що щось не існує.

   Припускають існування об’єкта й виводять неможливий наслідок.

Поширені словосполучення

• use proof by contradiction
• suppose for contradiction
• reach a contradiction
• assume the opposite