proof by contradiction

برهان خلف ( Proof by Contradiction ) یک روش اثباته که به جای اثبات مستقیم گزاره، فرض می کنیم که گزاره نادرسته و سپس با استفاده از استدلال منطقی به یک تناقض می رسیم. این تناقض نشون می ده که فرض اولیه ما ( نادرست بودن گزاره ) اشتباه بوده و در نتیجه گزاره باید درست باشه.

برهان خلف

اثبات با رسیدن به تناقض، برهان خلف، برهان تناقض.