Recurso lóxico consistente en supoñer algunha condición ou propiedade, e elaborar un razoamento que nos leve a unha contradicción, con intención de excluir a condición ou propiedade suposta.