Ejercicio · ZW-NEGACION-CUANTIFICADORES-003 · ★☆☆ Básico

No todos los estudiantes aprobaron equivale a...

Elige una opción.

Ver respuesta

Explicación

«No todos aprobaron» es la negación de «todos aprobaron», así que equivale a «al menos uno no aprobó».

Para un predicado \(P(x)\) sobre \(D\), la negación de un cuantificador intercambia el cuantificador y niega el predicado.

\[\begin{gathered}\neg\forall x P(x)\equiv\exists x\neg P(x)\\\neg\exists x P(x)\equiv\forall x\neg P(x)\end{gathered}\]