Ejercicio 1

Ejercicio 1

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

Buenas tardes,

Quería saber si está bien lo hecho.




Saludos.

En respuesta a Matias Rodrigo Iglesias Blanco

Re: Ejercicio 1

de Guillermo Calderon - InCo -

Hola Matías:

Este tipo de ejercicios recomendamos resolverlos por tableau. Es la manera más sencilla y más clara.

El método que vos aplicás es válido pero resulta más engorroso de explicar.

Vos consideras una valuación genérica e intentás probar que esa valuación siempre vale 1. Para eso aplicás la definición de valuación y planteás una cadena de equivalencias que se basan en propiedades aritméticas de min y max. Esas propiedades no las fundamentás y no siempre son del todo claras.

El método del tableau es una manera más sencilla de encontrar la valuación que buscamos o concluir que esa valuación no existe. Esto es más eficiente que escribir toda la tabla de verdad que puede ser muy largo.

Te recomiendo que mires los videos de práctico dónde se explica cómo resolver este tipo de ejercicios usando tableau.

En la parte b) parece haber algún error. En algún lado se cambio una q por una p.

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 Matias Rodrigo Iglesias Blanco -
En respuesta a Matias Rodrigo Iglesias Blanco

Re: Ejercicio 1

de Guillermo Calderon - InCo -

Sí, está bien resuelto.

Un par de comentarios:

  • en cada caso, luego de hacer el tableau, indicar cuál es la conclusión que se obtiene de ese tableau. En parte, lo comentás al principio, pero está bueno que se responda en cada caso.

    • Si todas las ramas fallan, significa ques no hay valuación que haga falsa a la fórmula y por lo tanto es tautología.
      En este caso, el tableau debe hacerse completo.

    • Si llego al menos a alguna solución, la fórmula no es una tautología.
      No es necesario hacer el árbol completo en este caso. (Como sucede en la parte a).

  • La parte c) también se puede resolver con tableau.