Es decir, si una primera premisa implica una segunda premisa, se puede concluir que la negación de la "segunda" premisa implica la negación de la "primera" premisa.