Ejercicio · ZW-ORDEN-CUANTIFICADORES-010 · ★★★ Avanzado
Si cada estudiante tiene algún libro, no se sigue que...
Elige una opción.
Ver respuesta
- A. Haya un libro que todos tengan
Explicación
Que cada estudiante tenga algún libro no dice si ese libro es el mismo para todos. Por eso no se sigue que haya un libro común a todos.
Repasa el concepto: Orden de cuantificadores
Para un predicado \(P(x,y)\), el orden de los cuantificadores puede cambiar el valor de verdad de una fórmula.
\[\begin{gathered}\forall x\,\exists y\,P(x,y)\\\not\equiv\exists y\,\forall x\,P(x,y)\end{gathered}\]
Más ejercicios de orden de cuantificadores
- ZW-ORDEN-CUANTIFICADORES-001 En general, cambiar el orden de ∀ y ∃...
- ZW-ORDEN-CUANTIFICADORES-002 ∀x ∃y P(x,y) permite que...
- ZW-ORDEN-CUANTIFICADORES-003 ∃y ∀x P(x,y) afirma que...
- ZW-ORDEN-CUANTIFICADORES-004 ¿Cuál par no es equivalente en general?
- ZW-ORDEN-CUANTIFICADORES-005 El orden de cuantificadores importa especialmente cuando...
- ZW-ORDEN-CUANTIFICADORES-006 En general, ∀x∃y R(x,y) y ∃y∀x R(x,y)...
- ZW-ORDEN-CUANTIFICADORES-007 ∀x∃y R(x,y) permite que...
- ZW-ORDEN-CUANTIFICADORES-008 ∃y∀x R(x,y) afirma que...