Tableaux.

Logica proposicional

Las tablas sem

anticas1 son un mecanismo de decisi
on para oraciones bien
formadas (formulas) del lenguaje proposicional. Sea un conjunto finito no
vaco de formulas = {1 , ..., n }, tal que para alg
un i n, i no es un
literal, se define la tabla T () = {1 , 2 , ..., k }, donde, para cada i k,
i es una sucesion de formulas h1 , ..., n , 1 , ...m i a la que llamamos rama
es decir, una sucesion que comienza con las formulas de , las cuales est
an
en todas las ramas, por lo que se les denomina raz. La construccion de la
sucesion se hace mediante aplicaci
on de ciertas reglas (dadas m
as abajo) a
cada formula que no sea un literal. En el proceso de construccion de cada
rama, si ocurren dos literales complementarios, se detiene la construccion y
se dice que la rama en cuesti
on est
a cerrada; en otro caso, se contin
ua hasta
que no quede ninguna formula no literal a la que no se haya aplicado una
regla y se dir
a que la rama est
a abierta. Una tabla es cerrada si, y s
olo si,
todas sus ramas son cerradas. Si una tabla tiene al menos una rama abierta,
se dice que la tabla es abierta.
Para anotar las reglas hacemos previamente una clasificaci
on de las
formulas; distinguimos tres tipos: doble negaci
on, formulas de tipo y
formulas de tipo las dos u
ltimas, de tipo conjuntivo y de tipo disyuntivo, respectivamente. Una formula es del tipo doble negaci
on si tiene la
forma A. En cuanto a las de tipo o de tipo , en los cuadros siguientes
se anota la forma de cada una de ellas y sus componentes (respectivamente,
1 , 2 , y 1 , 2 ):

AB
(A B)
(A B)

1
A
A
A

2
B
B
B

AB
AB
(A B)

1
A
A
A

2
B
B
B

Las reglas de construccion de tableax son las siguientes2 :

1

Tambien se habla de tableaux, tableros y

arboles (sem
anticos). Se suelen presentar en
forma arb
orea invertida. Para un estudio de tablas sem
anticas con descripci
on de las reglas
siguiendo estrictamente la composicionalidad (sem
antica) dada al evaluar las conectivas,
cons
ultese el Curso Pr
actico de L
ogica, disponible en la plataforma de la asignatura.
2
El antecedente representa la f
ormula no literal sobre la que se act
ua; el consecuente
de la regla, en cambio, expresa que se anota a continuaci
on en la rama que se est
a construyendo.

1. Doble negaci
on:

A
A
Si la rama hasta ese punto es , tras la aplicaci
on de la regla ser
a +A

2. Regla para formulas de tipo :

1 ; 2
Si la rama era , tras la aplicaci
on de la regla ser
a + 1 + 2
3. Regla para formulas de tipo :

1 | 2
En este caso, la lnea perpendicular entre 1 y 2 indica que al aplicar
la regla, la rama se subdivide en dos, resultado de a
nadir en un caso
uno de los componentes de y, en el otro, de a
nadir el otro componente
de . Es decir, si la rama era , tras aplicar la regla contamos con dos
ramas: + 1 , y + 2
En el proceso de construccion de las ramas, para reconocer que ya se
ha aplicado una regla, se puede indicar anotando el tipo de f
ormula como
subndice de la formula correspondiente. Para facilitar la tarea, es recomendable ir construyendo todas las ramas simultaneamente, con lo que se
actuar
a por niveles. Veamos un sencillo ejemplo de construccion de la tabla
para la raz {((p q) q) p)}:
1 : (p q) q) p (raiz)
2 : (p q) q (de1)
3 : p(de1)
4 : p q (de2)
5 : q(de2)
PPP

6.a : p(de4)
N

6.b : N
q(de4)

Notese que en este caso tenemos una tabla cerrada,

pues las dos ramas
N
est
an cerradas (en cada caso indicado mediante ).