Estoy teniendo problemas para resolver este ejercicio (que probablemente sea una gilada).

El enunciado es el siguiente:



Y mi resolución del primero:



Sé que probablemente sea muy fácil pero se me complicó. La profesora me dijo que me convenía eso: negar © y laburar con (a) y (b).

Por otro lado, no tengo idea de a qué se refiere con el punto c.

Si alguien me da una mano, lo súper agradecería!

Hola

En el enlace https://www.utnianos.com.ar/foro/tema-ej...#pid461050 se te dijo que por favor escribieras la matemática usando LaTeX, pero hiciste caso omiso. Por favor la próxima tratá de revisar el post que dejé ahí para enterarte de cómo se usa.

(04-06-2018 17:04)agustinsanchez escribió:  Sé que probablemente sea muy fácil pero se me complicó. La profesora me dijo que me convenía eso: negar © y laburar con (a) y (b).

¿Y? ¿Qué más podés hacer luego de negar la conclusión?

Para el primero: De a(x) y f(x) se puede deducir a(x) ∧ f(x), por lo tanto el razonamiento es válido. Cómo se resuelve depende de qué reglas de inferencia te hayan dado.

Para el segundo: El razonamiento es válido porque las premisas son contradictorias: la primera afirma que ningún x cumple v(x) y la segunda que existe un x que cumple v(x), y a partir de unas premisas contradictorias se puede demostrar cualquier cosa.

(04-06-2018 17:04)agustinsanchez escribió:  Por otro lado, no tengo idea de a qué se refiere con el punto c.

Entiendo que debés ejemplificar con casos prácticos que hagan alusión a Ingeniería en Sistemas de Información. Para esto establecé un conjunto universal y creá las premisas, y luego concluí lo que se pide en cada caso.

Cualquier duda volvé a preguntar.

Saludos.