Ejercicio · ZW-CUANTIFICADOR-EXISTENCIAL-008 · ★★☆ Intermedio
Para demostrar ∃x P(x), normalmente basta exhibir...
Elige una opción.
Ver respuesta
- C. Un testigo que cumple P
Ejercicio · ZW-CUANTIFICADOR-EXISTENCIAL-008 · ★★☆ Intermedio
Elige una opción.
Para demostrar \(\exists x\,P(x)\) basta exhibir un testigo, es decir, un elemento concreto del dominio que cumpla \(P\).
Dado un predicado \(P(x)\) sobre un dominio \(D\), el cuantificador existencial afirma que \(P(x)\) es verdadera para algún \(x\in D\).
← ZW-CUANTIFICADOR-EXISTENCIAL-007 ZW-CUANTIFICADOR-EXISTENCIAL-009 →