que podríamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).