یکی از روشهای اثبات در علم ریاضی و منطق می باشد این روش اثبات غیرمستقیم نیز نامیده می شود