Gracias.
Lo tengo en cuenta.
Saludos.
Buen día, ¿qué tal?
¿Algo así?
¿Algo así?
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.
Genial Guillermo, muchas gracias.
Anotado.
Saludos.
Anotado.
Saludos.