Ejercicio · ZW-CUANTIFICADOR-EXISTENCIAL-009 · ★★☆ Intermedio

Selecciona expresiones que implican que hay al menos un objeto.

Elige una opción.

Ver respuesta
  • B. \(\exists x\,P(x)\)

Explicación

\(\exists x\,P(x)\) afirma directamente que hay algún objeto con \(P\). Las demás no garantizan que exista ninguno: \(\neg\exists x\,P(x)\) afirma lo contrario, y \(\forall x\,\neg P(x)\) es vacuamente verdadera en un dominio vacío.

Abrir el mapa de ZWMath →

Repasa el concepto: Cuantificador existencial

Dado un predicado \(P(x)\) sobre un dominio \(D\), el cuantificador existencial afirma que \(P(x)\) es verdadera para algún \(x\in D\).

\[\exists x\,P(x)\]

Más ejercicios de cuantificador existencial

← ZW-CUANTIFICADOR-EXISTENCIAL-008 ZW-CUANTIFICADOR-EXISTENCIAL-010 →