In proof by contradiction (also known as reductio ad absurdum, Latin for "by reduction to the absurd"), it is shown that if some statement were true, a logical contradiction occurs, hence the statement must be false.
У доказу контрадикцијом (такође познатом као reductio ad absurdum, у преводу са латинског „редукцијом до апсурда”) се показује да ако би нека изјава била истинита, дошло би до логичке контрадикције, и стога изјава мора бити неистинита.