La consecuencia lógica será la negación del supuesto, es decir, la afirmación de la conclusión deseada.