Lógica de predicados - traducción al inglés

No reutilice un cuantificador: el$\exists x$se aplica a toda la oración. Así que la oración dice "hay un$x$para que por cada$y$,$x$es en$T$y$y$también está en$T$y$x$es menor o igual que$y$y$x$es en$S$." Entonces eso significa que$x$tiene que estar en los dos$S$y$T$y debe ser menor o igual que cada $y$, y cada $y$es en$T$. Pero eso claramente no puede suceder, no todos los números están en$T$.

Sí, es falso , de hecho.

Sé testigo de que$8$es el único elemento en la intersección de$S,T$, y que esto es mayor que$6$, un elemento en$T$. Desmintiendo así por contraejemplo.

Más aún, sea testigo de que$1964$no está dentro$T$; así que no todos $y$es en$T$incluso si existe un$x$en$S\cap T$.

$∃x.∀y.(x∈T∧y∈T)∧(x≤y∧x∈S)$

"Hay algo$x$tal que$x$es en$T$y$S$y cada $y$es en$S$y al menos tan grande como el$x$."