Dadas duas premissas, P₁ e P₂, 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 é