jueves, 14 de noviembre de 2019

Relaciones lógicas (2)

Aquí van las versiones a limpio de los ejercicios 1 y 2. Los he hecho 'de nuevo' desde 0, aunque claramente me acordaba de las cosas, incluyendo los dos errores que cometí la primera vez en 1, cuando pensé que d) no era antisimétrico (porque no tenía un par (x,x) satisfaciendo xRy e yRx) y cuando (por un erro de cálculo) pensé que encontrara un contraejemplo demostrando que f) no era transitiva. A respecto de esta última relación, creo que encontré una prueba que es diferente a la de las soluciones del libro y válida.
En el ejercicio 2, los argumentos que uso a veces para justificar la respuesta son diferentes a los del libro; me queda pendiente leerlos con calma y ver que no haya contradicción (y que los entienda).




No hay comentarios:

Publicar un comentario