La regla de inferencia "modus tollendo tollens" establece que si una primera afirmación implica una segunda afirmación; y la segunda afirmación "no" es verdadera; se puede inferir que la primera "no puede" ser verdadera.