Regla -> de las tableau semántico

Regla -> de las tableau semántico

de Leonardo Nicolas Gonzalez Sureda -
Número de respuestas: 3
Para representar que el tableau del ->  es True en el lado derecho¿ no se debería especificar que φ sea True?.

Ya que si no hago esto se entendería que  φ podría ser cualquier valor lo cual no es cierto( ya que si T.φ F.ψ   entonces F.φ → ψ) 

Adjunto una captura capaz que se entiende mejor


En respuesta a Leonardo Nicolas Gonzalez Sureda

Re: Lógica: Regla -> de las tableau semántico

de Juan Diego Campo -
Hola, Leonardo. φ→ψ es falso sólo cuando φ es verdadero y ψ es falso.
En cualquier otro caso, el implica es verdadero. Es decir, el implica es
verdadero cuando o bien φ es falso o bien ψ es verdadero.

Este razonamiento es el que codifican las reglas del tableau para el implica.

Otra forma: alcanza con que φ sea falso (no importa ψ) para que φ → ψ sea verdadero.
También alcanza con que ψ sea verdadero (no importa φ) para que φ → ψ sea verdadero.

Espero que haya aclarado. Cualquier cosa volvé a preguntar.


Saludos,

--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR
En respuesta a Juan Diego Campo

Re: Lógica: Regla -> de las tableau semántico

de Bryan Gabriel Salamone Varela -

Buenas, para resolver este tipo de ejercicios siempre me partía el árbol en 3 casos. Los 3 casos donde la implicancia es verdadera, algo como de este estilo:


En todos los ejercicios donde aplique este razonamiento llegue a soluciones correctas, entiendo como que hacerlo así no está mal, pero estoy haciendo trabajo de más.

Mi duda es si en el parcial es correcto hacerlo de esta manera.

Saludos cordiales,

En respuesta a Bryan Gabriel Salamone Varela

Re: Lógica: Regla -> de las tableau semántico

de Fernando Carpani -
Hola.
Las únicas reglas de construcción de tableau válidas en el curso son las que están en las ppt 42 y 43 del documento de teórico relativo a semántica de prop.

Allí no hay ninguna regla que genere un árbol con tres hijos...

Saludos
FDO.