Diagramas

semnticos
Interpretacin de LP
Cmo encontrar tautologas?
Los tableaux o diagramas semnticos nos
sirven para establecer la satisfacibilidad de
una frmula (o conjunto de frmulas) y
consisten bsicamente en el despliegue
sistemtico de las condiciones de verdad de la
frmula (o frmulas) en estudio.
Tienen el aspecto de rboles (y por seo se les
conoce tambin por ese nombre) cuyas ramas
representan las distintas posibilidades.
Diagramas o arboles semnticos
Las ramas se cierran cuando en ellas
aparecen contradicciones, entendindose que
se trata de una posibilidad frustrada.
Un rbol completamente desarrollado y con
todas las ramas cerradas muestra que la
frmua (o frmulas) es insatisfacible.
Por el contrario, una rama abierta permite
definir una interpretacin que satisface a la
frmula (o frmulas) del rbol.
rboles Semnticos No-Valuados
Asumimos que la frmula es falsa.
As, una rama de un rbol semntico se
cerrar apenas contenga dos formas
proposicionales, una de las cuales es la
negacin de la otra.
Como cada una de las ramas restantes nos
llevan a una contradiccin, las cerramos
todas y concluimos que es imposible que sea
falsa.
Ejemplo 1
(p q) (r p)
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
p q r
V
V
F
F
F
F
F
F
V
V
V
V
V
F
V
F
V
V
V
V
V
V
V
V
Es una T.
En que casos una
condicional es falsa?
p q p q
V V
V F
F V
F F
V
F
V
V
[ ]
(p q) (r p)
V
F
[ ]
(p q) (r p)
(p q)
(r p)
p
q
r
p
Los dos
deben ser
verdaderos Los dos
deben ser
falsos



(marcamos con un la formula trabajada)
[ ]
(p q) (r p)
(p q)
(r p)
p
q
r
p
Encontramos
una
contradiccin!

(marcamos con una la rama cerrada)
No puede ser F: entonces es una T
[ ] p (q r) .. (q r) s :: p s

p (q r) .. (q r) s
(p s)
p (q r)
(q r) s
p
s



(q r) s


p (q r)


Reglas para Construir rboles
Semnticos No-Valuados
Reglas para Construir rboles
Semnticos No-Valuados
Reglas para Construir rboles
Semnticos No-Valuados
Por qu se
duplican las
lneas?
V : Valores
iguales.

F : valores
contrarios.
[ ]
(qr)p .. (ps)..st :: qr..t
(qr)p .. (ps)..st
(qr..t)

(qr)p
(ps)
st

t
s

(qr)
t


r
q

r

(qr)
p

q
r



s
p
s
p


No puede
ser F:
entonces
es una T
qu pasa si no cerramos las ramas?
{ }
[(p q) r] ~ p
(p q) r
[(p q) r]
~ p
p

p q
r

p
q

Puede ser V o F :
no es una T
[ ] p r .. p .. r s :: s
p r
p
r s
p r .. p .. r s
s


p
r


r s



No puede ser F: entonces es una T
[ ]
p ( q r ) .. p .. q s .. s :: r
p ( q r ) .. p .. q s .. s
r
p ( q r )
p
q s
s


q s


p q r


q r


No puede ser F: entonces es una T
[ ]
pq .. pr .. pp :: qp
pq .. pr .. pp
(qp)
pq
pr
pp


q
p

p
r

p


p
q


p p


?
Puede ser V o F : no es una T
O cortas el cable rojo, o cortas el cable verde. Si
cortas el cable verde, entonces o no cortas el cable
equivocado o la bomba explosionar. Ni cortas el
cable rojo, ni la bomba explosion. Todo habr
acabado si, y solo si cortas el cable equivocado.
Luego, cortaste el cable verde.
p) cortas el cable rojo
q) cortas el cable verde
r) cortas el cable equivocado
s) la bomba explosiona
t) todo acaba
P
1
) ~(p q)
P
2
) q ~(~r s)
P
3
) ~p ~s
P
4
) t r
// q
O cortas el cable rojo, o cortas el cable verde. Si
cortas el cable verde, entonces o no cortas el cable
equivocado o la bomba explosionar. Ni cortas el
cable rojo, ni la bomba explosion. Todo habr
acabado si, y solo si cortas el cable equivocado.
Luego, cortaste el cable verde.
P
1
) ~(p q)
P
2
) q ~(~r s)
P
3
) ~p ~s
P
4
) t r
// q
~(p q) .. q ~(~r s) ..
~p ~s
..
t r
:: q
[ ]
~(p q) .. q~(~r s) .. ~p ~s .. t r :: q
~(p q) .. q~(~r s) .. ~p ~s .. t r
q

~(p q)
q~(~r s)
~p ~s
t r

~p
~s

~p
p
q ~q


No puede ser F: entonces es una T
Qu
rama
debemos
abrir?
Llego a tiempo si no se me enfra el caf. No llego a tiempo a
menos que el trfico vaya bien, suene el despertador y no me
quede dormido. Pero o no suena el despertador o estoy sordo.
Concluyendo, no estoy sordo, entonces se me enfra el caf
Llego a tiempo si no se me enfra el caf. No llego a tiempo a
menos que el trfico vaya bien, suene el despertador y no me
quede dormido. Pero o no suena el despertador o estoy sordo.
Concluyendo, no estoy sordo, entonces se me enfra el caf
p si no q. No p a menos que r, s y no t. Pero o no s o u.
Concluyendo, no u, entonces q.
qp..(p..rst)..su::uq
[ ]
qp..(p.. rst). .su::uq
qp. . (p. . rst). . su
(uq)

qp
(p. . rst)
su

u
q

q p


s u


p
rst
p
(rst)


r
s
t


No puede ser F:
entonces es una T
Si el reloj est adelantado, entonces Rosa lleg antes de las diez y
vio partir el auto de Sandra. Rosa no vio partir el auto de
Sandra, a menos que Sandra no diga la verdad. O Sandra dice la
verdad, o estaba en el edificio en el momento del crimen. El
reloj est adelantado. Por lo tanto, Sandra estaba en el edificio
en el momento del crimen.
p) el reloj est adelantado
q) Rosa lleg antes de las diez
r) vio partir el auto de Sandra
s) Sandra dice la verdad
t) Sandra estaba en el edificio
Si p, entonces q y r.
No r, a menos que no s.
O s, o t. p.
Por lo tanto, t.
p(qr) .. (rs) .. (st) .. p:: t
[ ] p(qr) .. (rs) .. (st) .. p:: t
p(qr) .. (rs) .. (st) .. p
t

p(qr)
(rs)
(st)
p

s
t
s
t


p
qr

q
r


r
s
r
s


Es una T