برهان خلف یا اثبات به روش تناقض، روشی منطقی در ریاضیات و فلسفه است که برای اثبات یک گزاره، ابتدا فرض میشود که آن گزاره نادرست است. سپس، با استفاده از استدلالهای منطقی، نشان داده میشود که این فرض به تناقض یا نتیجهای غیرممکن منجر میشود. از آنجا که تناقض […]