É assim chamado o teorema do cálculo proposicional, segundo o qual de “se p, então q” pode-se inferir “não q, então não p”.
