Este argumento del tipo "modus tollens" es lógicamente válido y en consecuencia si las premisas son ciertas, la conclusión necesariamente también debe serlo.