Dadas duas premissas, P1 e P2, quer-se demonstrar de forma indireta que a conclusão Q é verdadeira. O método consiste, então, em considerar uma condicional associada resultando em contradição C. A condicional tautológica a ser utilizada é
Visualizar Questão Comentada