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.

Com relação aos métodos contrapositivo e contradição podemos afirmar que:

Answer 1

Na demonstração pelo método contrapositivo, negar o consequente implica negar o antecedente. Se a contrapositiva é verdadeira, a condicional também é verdadeira.

Na demonstração pelo método da contradição, a prova termina quando encontramos uma contradição. Ou seja, fazemos valer o princípio da não-contradição.