برهان خلف: تفاوت میان نسخه‌ها

{{منبع بیشتر}}

نامیده می‌شود. در روش برهان خلف، برای آنکه ثابت کنیم قضیه‌ای درست است، ثابت می‌کنیم که خلاف آن قضیه، یعنی [[نقیض]] آن، نادرست و چنین فرضی منجر به [[تناقض]] است.<ref name="Hardy">G. H. Hardy, ''A Mathematician's Apology; Cambridge University Press, 1992. {{ISBN|9780521427067}}. ''[https://www.math.ualberta.ca/mss/misc/A%20Mathematician's%20Apology.pdf PDF p.19].</ref><ref>S. M. Cohen, "Introduction to Logic", [https://faculty.washington.edu/smcohen/120/Chapter5.pdf Chapter 5] "proof by contradiction ... Also called indirect proof or reductio ad absurdum ..."</ref>