Árboles Semánticos Valuados 1

Supongamos que queremos determinar si la siguiente forma proposicional es una tautología:

(𝑝 ∨ (𝑞 ∧ 𝑟)) → ((𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟))

Para hacerlo, generamos el siguiente árbol semántico:

𝐹[(𝑝 ∨ (𝑞 ∧ 𝑟)) → ((𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟))] (1)

𝑉[(𝑝 ∨ (𝑞 ∧ 𝑟))] (2)
𝐹[(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)](4)

𝑉[𝑝] 𝑉[𝑞 ∧ 𝑟] (3)

𝑉[𝑞]
𝑉[𝑟]
𝐹[𝑝 ∨ 𝑞] (4) 𝐹[𝑝 ∨ 𝑟] (5)
𝐹[𝑝] 𝐹[𝑝]
X X
𝐹[𝑝 ∨ 𝑞] (6) 𝐹[𝑝 ∨ 𝑟] (7)
𝐹[𝑝] 𝐹[𝑝]
𝐹[𝑞] 𝐹 [𝑟]
X X

Explicación:

1. Asumimos que la forma proposicional es falsa: 𝐹[(𝑝 ∨ (𝑞 ∧ 𝑟)) → ((𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟))].

2. Como el condicional es falso si y solo si el antecedente es V y el consecuente F, escribimos 𝑉[(𝑝 ∨ (𝑞 ∧ 𝑟))]
y 𝐹[(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)] como consecuencias directas de (1).
3. Ahora, observa (2). Como es una disyunción V, no podemos inferir ninguna consecuencia directa de (2). Lo
único que podemos inferir es que o el primer disyunto es V o el segundo disyunto es V. Por lo tanto, el
árbol se divide en dos ramas; una para cada posibilidad, 𝑉[𝑝] y 𝑉[𝑞 ∧ 𝑟] .
4. Observa (3). De 𝑉[𝑞 ∧ 𝑟] obtenemos como consecuencias directas 𝑉[𝑞] y 𝑉[𝑟].
5. Regresa a (4). Es una conjunción falsa: 𝐹[(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)]. Eso quiere decir que o bien 𝐹[𝑝 ∨ 𝑞] o bien
𝐹[𝑝 ∨ 𝑟].
6. Como ya hemos establecido las ramas 𝑉[𝑝] y 𝑉[𝑞 ∧ 𝑟] (3) , y además hemos derivado 𝑉[𝑞] y 𝑉[𝑟] de
𝑉[𝑞 ∧ 𝑟] (5), abrimos dos ramas desde 𝑉[𝑝] y 𝑉[𝑟], cada una con las dos posibilidades que estamos
considerando: 𝐹[𝑝 ∨ 𝑞] y 𝐹[𝑝 ∨ 𝑟]. Es decir, ahora tenemos cuatro nuevas ramas.
7. Observa el 𝐹[𝑝 ∨ 𝑞] de la primera rama de la derecha obtenemos como consecuencias directas 𝐹[𝑝] y
𝐹[𝑞]. Sin embargo, 𝐹[𝑝] está en contradicción directa con 𝑉[𝑝]. En consecuencia, ponemos “X” debajo de
𝐹[𝑝] para indicar que esa rama se cierra.
8. En las otras tres ramas restantes hacemos una operación similar que en la primera, esto nos llevan a una
contradicción en cada cosa; por ello, todas las ramas se cierran y concluimos que (1) es insostenible.
9. Eso significa que (𝑝 ∨ (𝑞 ∧ 𝑟)) → ((𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)) no puede ser falsa bajo ninguna interpretación y, por
lo tanto, esa fórmula es una tautología.

1
Adaptado de las separatas del curso de Lógica 1 del profesor Eduardo Villanueva Chigne.
 REGLAS ÁRBOLES SEMÁNTICOS VALUADOS

1. 1. 𝑭[∼ 𝒑]
𝑽[𝒑]

2. 𝑽[𝒑 ∧ 𝒒] 2.𝑭[𝒑 ∧ 𝒒]
𝑽[𝒑]
𝑽[𝒒] 𝑭[𝒑] 𝑭[𝒒]

3. 𝑽[𝒑 ∨ 𝒒] 3.𝑭[𝒑 ∨ 𝒒]
𝑭[𝒑]
𝑽[𝒑] 𝑽[𝒒] 𝑭[𝒒]

4. 𝑽[𝒑 → 𝒒] 4. 𝑭[𝒑 → 𝒒]
𝑽[𝒑]
𝑭[𝒑] 𝑽[𝒒] 𝑭[𝒒]

5. 𝑽[𝒑 ↔ 𝒒] 5. 𝑭[𝒑 ↔ 𝒒]

𝑽[𝒑] 𝑭[𝒑] 𝑽[𝒑] 𝑭[𝒑]

𝑽[𝒒] 𝑭[𝒒] 𝑭[𝒒] 𝑽[𝒒]