![](https://eva.fing.edu.uy/pluginfile.php/57264/mod_forum/post/584994/Captura%20desde%202023-04-20%2014-09-08.png)
Hola nos gustaria saber si para probar las consignas de la parte podemos hacer una dem por absurdo(asumiendo que es consec logica y llegando a una contradicciòn) usando el tableau semantico, ya que probar cada valuacion posible para ver se falla no es eficiente![](https://eva.fing.edu.uy/pluginfile.php/57264/mod_forum/post/584994/Captura%20desde%202023-04-20%2014-09-08.png)
![](https://eva.fing.edu.uy/pluginfile.php/57264/mod_forum/post/584994/Captura%20desde%202023-04-20%2014-09-08.png)
Hola Pedro:
En esa parte, la respuesta es que no es independiente porque se cumple la consecuencia Δ ⊧ ¬p1 ∨ (p2 ∧ ¬p3.
Esa consecuencia se puede probar con tableau.
El tableau en este caso puede entenderse como una prueba por absurdo ya que se busca una valuación que de 1 a los Δ y 0 a la conclusión. El tableau muestra que no existe tal valuación.
En la solución publicada se prueba usando equivalencias.