En la demostración por contradicción (también conocida como "reductio ad absurdum", que significa ‘por reducción al absurdo’ en latín), se muestra que si cierta afirmación es verdadera, ocurre una contradicción lógica, por tanto esa afirmación es falsa.