Ejercicio · ZW-NEGACION-CUANTIFICADORES-008 · ★★☆ Intermedio

Para negar 'todo número es positivo' basta afirmar...

Elige una opción.

Ver respuesta

Explicación

Negar «todo número es positivo» exige un número que no lo sea: \(\exists x\,\neg P(x)\), es decir, existe un número no positivo.

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