Esta regla se infiere una sentencia condicional a partir de su contraposición.