Ejercicio · ZW-CUANTIFICADOR-UNIVERSAL-010 · ★★★ Avanzado
En un dominio vacío, ∀x P(x) se considera...
Elige una opción.
Ver respuesta
- C. Verdadera vacíamente
Ejercicio · ZW-CUANTIFICADOR-UNIVERSAL-010 · ★★★ Avanzado
Elige una opción.
Si no hay elementos no hay contraejemplo, así que \(\forall x\,P(x)\) es verdadera vacíamente.
Dado un predicado \(P(x)\) sobre un dominio \(D\), el cuantificador universal afirma que \(P(x)\) es verdadera para todo \(x\in D\).