Esto es lo que podemos denominar una "implicación lógica."