Diagrama de árbol para fórmula proposicional

Diagrama de Árbol para demostrar que una

Fórmula Proposicional es o no tautológica

El detective se plantea el siguiente razonamiento para resolver el robo:

“El ladrón debió entrar por la puerta, a menos que el robo se perpetrara desde
dentro y uno de los sirvientes estuviera implicado en él. Pero sólo podía entrar
por la puerta si alguien le descorría el cerrojo. Si alguien lo hizo, es que uno de
los sirvientes estaba implicado en el robo. Luego, seguro que algún sirviente ha
estado implicado”.

p: el ladrón debió entrar por la puerta.

Se establecen las q: el robo se perpetró desde dentro.

proposiciones atómicas:
r: uno de los sirvientes estuvo implicado en el robo.

s: alguien descorrió el cerrojo.

El ladrón debió entrar por la puerta, a menos

p (q r) que el robo se perpetrara desde dentro y uno
de los sirvientes estuviera implicado en él.

Se formaliza la
Fórmula proposicional:
p→s Sólo podía entrar por la puerta si alguien le
descorría el cerrojo.

Si alguien lo hizo, es que uno de los sirvientes

→r estaba implicado en el robo.

Cuando se presentan este tipo de

enunciados, el signo de puntuación
“punto y seguido (•)” ,se representa
{[p (q r)] (p s) (s r)} r
como una Conjunción (y), y la palabra
“Luego” indica una condicional:

Documento: Infografía Instituto Profesional IACC

3 páginas © 2022
¿Es una Formula Tautológica?
Se va a averiguar con el Diagrama del árbol de Verdad.

{[p (q r)] (p s) (s r)} r

F
1
En este caso, la
subfórmula tiene dos
conjunciones al mismo
nivel (observe los signos {[p (q r)] (p s) (s r)} r Para que un
condicional sea Falso,
de puntuación), se toma
cualquiera de los dos Para que una V F su antecedente debe
ser V y el consecuente
para seguir revisando. conjunción
F. Por tanto el valor de
sea V, sus dos
proposiciones
3 2 r=0
son V.

[p (q r) ] (p s) s r
V V
5 4
En 2 ya se encontró que
r = 0, entonces s = 0
para que la condicional
sea V, no hay otra
opción.

En 6 como ya se p (q r) p s En 4 ya se encontró
encontró que p = que s = 0, entonces
0, entonces si la V V p = 0 para que la
disyunción es V, el condicional sea V,
otro término debe 7 6 no hay otra opción.
ser V.

En 2 ya se encontró que r = 0, q r

X
entonces esta conjunción es
imposible que sea V. !HAY
UNA CONTRADICCIÓN¡
V …entonces, se demuestra que:
O SEA, ES ABSURDO Esta Fórmula es una Tautología
SUPONER EL FALSO INICIAL. 8
Para verificar el resultado del Diagrama de Árbol, se realiza la tabla de
verdad (es opcional, solo para demostrar la dificultad cuando crecen el
número de variables proposicionales de la Fórmula)