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

¿Qué operación aparece al negar un cuantificador?

Elige una opción.

Ver respuesta
  • B. El universal se vuelve existencial y viceversa

Explicación

Al negar, el cuantificador universal pasa a existencial y el existencial a universal, mientras la propiedad se niega.

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-003 ZW-NEGACION-CUANTIFICADORES-005 →