Upload
javierperez
View
230
Download
1
Embed Size (px)
DESCRIPTION
lógica de proposiciones tableaux
Citation preview
Jos Luis Fernndez VindelEnero, 2011
Lgica de Proposiciones: Inferencia
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Lgica de Proposiciones: Inferencia
Tableaux, Tablas Analticas
Introduccin General
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible?X1
X2
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Satisfacible? Supongamos s: IX1
X2
I
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Cmo se expande un tableau y cundo se cierra?
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
Expansinde un nodo
de tipo conjuntivo
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
Expansinde un nodo
de tipo conjuntivo
Si
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2}
Expansinde un nodo
de tipo conjuntivo
Si
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2}
Expansinde un nodo
de tipo conjuntivo
Si ...
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
X4
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
X4
Expansinde un nodo
de tipo conjuntivo
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
X4
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
X4
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2, X3, X4}
X3
X4
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2, X3, X4}
X3
X4
[, (1 2)]
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2, X3, X4}
X3
X4
[, (1 2)]
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2, X3, X4}
X3
X4
[, (1 2)] [, (1 2),1,2]
Expansinde un nodo
de tipo conjuntivo
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2),1,2][,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2),1,2][,(1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2),1,2][,(1 2)]
...
...(1 2)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2),1,2][,(1 2)]
...
...(1 2)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)] [, (1 2),1,2][,(1 2)] [,(1 2),1,2]
[,(1 2),1,2][,(1 2)]
...
...(1 2)
1
2
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
Si
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2}Si
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
I |= {X1, X2}Si ...
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}I |= {X1, X2}
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}I |= {X1, X2} o
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
o ambas opciones
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
o ambas opcionesExpansinde un nodode tipo disyuntivo
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
o ambas opcionesExpansinde un nodode tipo disyuntivo
[, (1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
o ambas opcionesExpansinde un nodode tipo disyuntivo
[, (1 2)]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
X1
X2
I
X3
I |= {X1, X2, X3}
I |= {X1, X2, X4}
I |= {X1, X2} o
X4
o ambas opcionesExpansinde un nodode tipo disyuntivo
[, (1 2)]
[, (1 2),1][, (1 2),2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[, (1 2)]
[, (1 2),1][, (1 2),2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[,(1 2)]
[,(1 2),1][,(1 2),2]
[, (1 2)]
[, (1 2),1][, (1 2),2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
[,(1 2)]
[,(1 2),1][,(1 2),2]
[, (1 2)]
[, (1 2),1][, (1 2),2]
[, (1 2)]
[, (1 2),1][, (1 2),2]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)
(1)
(2)
(3)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)
(1)
(2)
(3)
I?
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)
(1)
(2)
(3)
I? [1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)
(1)
(2)
(3)
I? [1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
r
(1)
(2)
(3)
(4)
(5)
I? [1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
r
(1)
(2)
(3)
(4)
(5)
I?[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
r
(1)
(2)
(3)
(4)
(5)
I?[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
(1)
(2)
(3)
(4)
(5)
(6) (7)
I?[1,2,3,4,5,6]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7,8]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7,8]
[1,2,3,4,5,7,9]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7,8]
[1,2,3,4,5,7,9]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7,8]
[1,2,3,4,5,7,9]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
[1,2,3,4,5,6]
Jos Luis Fernndez VindelEnero, 2011
p qq r
(p r)p
rp q
rq
(1)
(2)
(3)
(4)
(5)
(6) (7)
(9)(8)
I?
[1,2,3,4,5,7,8]
[1,2,3,4,5,7,9]
[1,2,3,4,5,7]
[1,2,3,4,5]
[1,2,3]
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p r
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p r
Rama completa(No cerrada)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p r
Rama completa(No cerrada)
Construccinde Interpretac.
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p rp = f
Rama completa(No cerrada)
Construccinde Interpretac.
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
p qq r
p q
rq
(1)
(2)
(3) p r
p rp = f q = f
Rama completa(No cerrada)
Construccinde Interpretac.
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
Si alguna no cerrada:
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
Si alguna no cerrada:y ya expandidos todos los nodos de esa rama
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
Si alguna no cerrada:y ya expandidos todos los nodos de esa ramaprueba de que conjunto inicial es satisfacible
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
Si alguna no cerrada:y ya expandidos todos los nodos de esa ramaprueba de que conjunto inicial es satisfacibleconstruccin de interpretacin I que lo satisface
domingo 16 de enero de 2011
Jos Luis Fernndez VindelEnero, 2011
Nodos iniciales: rama inicial
Expansin en cada rama:nodos conjuntivos (lineal)nodos disyuntivos (bifurcacin)
Cierre de una rama: contradiccin (p, no p)
Si todas cerradas: conjunto inicial insatisfacible
Si alguna no cerrada:y ya expandidos todos los nodos de esa ramaprueba de que conjunto inicial es satisfacibleconstruccin de interpretacin I que lo satisface
domingo 16 de enero de 2011