Question

O método dedutivo indireto é aquele que faz uso da prova por contradição. Esse método parte do princípio de que a tese é falsa. Temos neste método a prova por contradição e a prova contrapositiva.

Answer 1

Prova por contradição é chegar a um absurdo, ou seja, a prova termina quando se chega a uma contradição.

Na prova contrapositiva, negar o consequente implica negar o antecedente. Se a contrapositiva é verdadeira, a proposição condicional (prova direta) também é verdadeira.