Ejercicio · ZW-CUANTIFICADOR-UNIVERSAL-008 · ★★☆ Intermedio
Para refutar ∀x P(x) basta encontrar...
Elige una opción.
Ver respuesta
- A. Un contraejemplo
Ejercicio · ZW-CUANTIFICADOR-UNIVERSAL-008 · ★★☆ Intermedio
Elige una opción.
Un solo caso del dominio donde \(P(x)\) falle basta para refutar \(\forall x\,P(x)\).
Dado un predicado \(P(x)\) sobre un dominio \(D\), el cuantificador universal afirma que \(P(x)\) es verdadera para todo \(x\in D\).
← ZW-CUANTIFICADOR-UNIVERSAL-007 ZW-CUANTIFICADOR-UNIVERSAL-009 →