Prova por contradição
De Wikipedia, a enciclopédia encyclopedia
Prova Redução ao absurdo( do latim reductio ad absurdum) é um método de prova matemática indireta, não construtiva(Ou seja, apenas válida na lógica clássica). Este tipo de prova é feito assumindo-se como verdade o contrário do que queremos provar e então chegando-se a uma contradição.
A prova por redução ao absurdp é muito usada em teoremas de existência. Neste caso, é usada para provar a existência de um elemento com determinada característica, sem no entanto mostrar tal elemento. Por esta razão, alguns matemáticos a evitam quando possível, preferindo métodos de prova construtivos. O argumento de diagonalização de Cantor para demonstrar a não enumerabilidade dos números reais normalmente é provado por contradição, embora possa ser pensado como uma prova construtiva [1].
Ao contrário do que se pensa nas línguas lusófonas, Redução ao absurdo não é a mesma coisa de Prova por contradição.[2]