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

La negación de \(\forall x\,P(x)\) es...

Elige una opción.

Ver respuesta
  • A. \(\exists x\,\neg P(x)\)

Explicación

Negar un universal da «no todos cumplen», es decir, existe al menos un \(x\) donde \(P(x)\) falla: \(\exists x\,\neg P(x)\).

Abrir el mapa de ZWMath →

Repasa el concepto: Negación de cuantificadores

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}\]

Más ejercicios de negación de cuantificadores

ZW-NEGACION-CUANTIFICADORES-002 →