En palabras, decir "no es para todo formula_8 que formula_23 es verdad" es igual que decir "existe formula_8 tal que formula_23 es falsa".