برهان‌خلف
بـرهان‌خلف یکی از روش‌های اثبـات در علـم ریاضی و منطق می‌باشـد و به عنوان یکی از روش‌های اثبات غیرمستقیم معرفی می‌شود. در روش برهان‌خلف، برای آنکه ثابت کنیم قضیه‌ای درست است، ثابت می‌کنیم که خلاف آن قضیه، یعنی نقیض آن، نادرست است.
کتاب روش‌های استدلال و اثبات در ریاضیات
برهان خلف معمولاً در اثبات عکس یک قضیه بکار می‌رود و مورد استفاده زیادی در اثبات قضایای دوشرطی دارد. در زندگی روزمره نیز برهان خلف بسیار استفاده می‌شود. گاهی برای طنز، گاهی برای رد حرف یک نفر و گاهی در سیاست