Buenas, quería saber si en este ejercicio basta con escribir la tabla con los valores de valuación de las su fórmulas y mostrar que siempre vale 1 para cualquier caso. Gracias.
Es una posibilidad pero en el curso sugerimos utilizar tableau para este tipo de ejercicio. Es mucho más simple y eficiente que construir toda la tabla.
Te sugiero que mires el video de presentación: https://youtu.be/7HddZpJyOUA?t=2410
Hola, aprovecho el espacio creado por el compañero sobre el ejercicio 3 para preguntar específicamente sobre el 3b.
(φ → ψ) ∧ (ψ → σ) → (φ → σ) puede ser llevado utilizando las valuaciones y leyes algebraicas a algo de tipo v((φ ⋁ ¬ψ) ⋁ (ψ ⋀ ¬σ) ⋁ (¬φ ⋁ σ )) ?.
Muchas gracias, saludos
(φ → ψ) ∧ (ψ → σ) → (φ → σ) puede ser llevado utilizando las valuaciones y leyes algebraicas a algo de tipo v((φ ⋁ ¬ψ) ⋁ (ψ ⋀ ¬σ) ⋁ (¬φ ⋁ σ )) ?.
Muchas gracias, saludos
Hola:
Sí, se puede resolver aplicando equivalencias (o leyes algebraicas). . La idea sería partir de la proposición dada y aplicando equivalencias la voy transformando paso a paso hasta llegar a una tautología conocida.
De todos modos, parece más sencillo resolverlo con tableau.
Genial, muchas gracias por la respuesta y la recomendación, saludos
Buenas tardes,
Seguí la sugerencia dada. Además de verificar la validez de lo planteado quería preguntar si se está permitido desarrollar dos pasos en uno (los dos asteriscos naranjas seguidos).
![](https://eva.fing.edu.uy/pluginfile.php/469443/mod_forum/post/633204/image.png)
Seguí la sugerencia dada. Además de verificar la validez de lo planteado quería preguntar si se está permitido desarrollar dos pasos en uno (los dos asteriscos naranjas seguidos).
![](https://eva.fing.edu.uy/pluginfile.php/469443/mod_forum/post/633204/image.png)