Ejercicio · ZW-CUANTIFICADOR-EXISTENCIAL-004 · ★☆☆ Básico

¿Cuál afirmación es existencial?

Elige una opción.

Ver respuesta

Explicación

Una afirmación existencial dice que hay algún objeto con cierta propiedad. «Existe un número entero par» afirma que hay al menos un entero par.

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