Buenas noches, mi consulta es la siguiente: Hay casos en los que para hacer una prueba tengo q usar el tableau semántico, con la intencion de que, si encuentro alguna rama en la que no se llegue a una contradicción, entonces eso ya sirve como prueba de lo que buscaba. En estos casos, tengo que estrictamente terminar todo el tableau, desarrollando todas sus ramas lo mas posible? O lo puedo dejar como está una vez q encontré la rama que me sirve? Muchas gracias.
Buenas:
En general con un tableau se está buscando una cierta valuación que cumpla lo que se establece en la raíz del árbol.
Una vez que se encontró una valuación tal, ya no sería necesario continuar el resto del árbol.
Ahora, si no existe tal valuación, necesito terminar el árbol y asegurarme que todas las ramas terminan en contradicción.
En general con un tableau se está buscando una cierta valuación que cumpla lo que se establece en la raíz del árbol.
Una vez que se encontró una valuación tal, ya no sería necesario continuar el resto del árbol.
Ahora, si no existe tal valuación, necesito terminar el árbol y asegurarme que todas las ramas terminan en contradicción.
Clarísimo. Muchas gracias.