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

Na demonstração por contrapositiva, negar o consequente implica negar antecedente.

Na demonstração por contradição, a prova termina quando chegamos a uma contradição.