La regla de inferencia del Modus Ponens afirma que si tenemos una proposición condicional y además la afirmación de su entonces podemos inferir como conclusión su . Por su parte, el Modus Tollens dice que si tenemos una proposición condicional y la de su entonces podemos concluir la del .