Buenas tardes,
¿Está bien lo planteado:
?
Saludos.
Hola Matías:
Te hago algunas correcciones y sugerencias:
Consideramos que el conjunto A es lo que llamamos Universo del discurso. Eso significa que cuando ponemos un (∀x) estamos hablando de todos los elementos de A.
Los símbolos A y ∈ no están en el lenguaje.
En principio requerimos que todas las variables estén ligadas a algún cuantificador. Aunque podemos asumir que las variables libres se entienden como cuantificadas universalmente.
El símbolo ≠ tampoco está en el lenguaje, pero lo podemos expresar con igualdad y negación.
Para decir que x es menor o igual que y podemos decir ¬M(y,x). Esto se puede usar en el máximo y queda más corto.
para sin_intermedios, te está faltando considerar el caso en que x₂ es menor que x₁.
Si quedan más dudas, volvé a escribirnos.
Hola:
Hay algunos errores:
a) x₁ es el máximo de A:
- estás exigiendo que x₁ < x₁. Tendrías que decir que x₁ es mayor o igual que todo elemento del universo.
c) No hay ningún elementro entre x₁ y x₂
- tendrías que decir que x₁ es sucesor inmediato de x₂ o que x₂ es sucesor inmediato de x₁.
La función cuadrado es creciente.
- alcanza con decir que si x₁ < x₂ entonces x₁² < x₂². No se necesita x₃.