Buenas tardes,
¿Está bien lo planteado:
?
Saludos.
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:
c) No hay ningún elementro entre x₁ y x₂
La función cuadrado es creciente.