Ejercicio 1

Ejercicio 1

de Matias Rodrigo Iglesias Blanco -
Número de respuestas: 3

Buenas tardes,

¿Está bien lo planteado:



?


Saludos. 

En respuesta a Matias Rodrigo Iglesias Blanco

Re: Ejercicio 1

de Guillermo Calderon - InCo -

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.

En respuesta a Guillermo Calderon - InCo

Re: Ejercicio 1

de Matias Rodrigo Iglesias Blanco -
En respuesta a Matias Rodrigo Iglesias Blanco

Re: Ejercicio 1

de Guillermo Calderon - InCo -

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₃.