Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Intro Gral Prop Tableaux
Intro Gral Prop Tableaux
Inferencia
Enero, 2011
domingo 16 de enero de 2011
Lgica de Proposiciones:
Inferencia
Tableaux, Tablas Analticas
Introduccin General
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
X1
X2
Enero, 2011
domingo 16 de enero de 2011
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Supongamos s: I
Satisfacible?
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Enero, 2011
domingo 16 de enero de 2011
Satisfacible?
Supongamos s: I
X1
X2
Mientras no se tenga evidencia de lo contrario
Un tableau con todas su ramas cerradas
Cmo se expande un tableau y cundo se cierra?
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Expansin
de un nodo
de tipo conjuntivo
Si
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Expansin
de un nodo
de tipo conjuntivo
Si I |= {X1 , X2 }
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Expansin
de un nodo
de tipo conjuntivo
Si I |= {X1 , X2 } ...
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Expansin
de un nodo
de tipo conjuntivo
I
X1
X2
X3
X4
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Expansin
de un nodo
de tipo conjuntivo
X3
X4
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
Expansin
de un nodo
de tipo conjuntivo
X3
X4
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
Expansin
de un nodo
de tipo conjuntivo
X3
X4
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
I |= {X1 , X2 , X3 , X4 }
Expansin
de un nodo
de tipo conjuntivo
X3
X4
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
I |= {X1 , X2 , X3 , X4 }
Expansin
de un nodo
de tipo conjuntivo
X3
X4
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
I |= {X1 , X2 , X3 , X4 }
Expansin
de un nodo
de tipo conjuntivo
X3
X4
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
X1
X2
I |= {X1 , X2 , X3 , X4 }
Expansin
de un nodo
de tipo conjuntivo
X3
X4
[, (1 2 )] [, (1 2 ), 1 , 2 ]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
..
.
(1 2 )
..
.
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
..
.
(1 2 )
..
.
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
[, (1 2 )] [, (1 2 ), 1 , 2 ]
..
.
(1 2 )
..
.
1
2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Si
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Si I |= {X1 , X2 }
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
Si I |= {X1 , X2 } ...
I
X1
X2
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
I
X1
X2
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
I
I |= {X1 , X2 , X3 }
X1
X2
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
I
I |= {X1 , X2 , X3 }
o
X1
X2
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
I
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 , X4 }
X1
X2
I |= {X1 , X2 , X3 }
X4
I |= {X1 , X2 }
I
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 , X4 }
X1
X2
I |= {X1 , X2 , X3 }
o ambas opciones
X4
I |= {X1 , X2 }
I
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 , X4 }
X1
Expansin
de un nodo
X2
de tipo disyuntivo
I |= {X1 , X2 , X3 }
o ambas opciones
X4
I |= {X1 , X2 }
I
X3
I |= {X1 , X2 , X4 }
X1
Expansin
de un nodo
X2
de tipo disyuntivo
I |= {X1 , X2 , X3 }
o ambas opciones
X4
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 }
I
Expansin
de un nodo
X2
de tipo disyuntivo
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 , X4 }
X1
[, (1 2 )]
I |= {X1 , X2 , X3 }
o ambas opciones
X4
I |= {X1 , X2 }
I
Expansin
de un nodo
X2
de tipo disyuntivo
X3
Enero, 2011
domingo 16 de enero de 2011
I |= {X1 , X2 , X4 }
X1
[, (1 2 )]
I |= {X1 , X2 , X3 }
o ambas opciones
X4
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
Jos Luis Fernndez Vindel
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
[, (1 2 )]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
[, (1 2 )]
[, (1 2 )]
[, (1 2 )]
Enero, 2011
domingo 16 de enero de 2011
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
[, (1 2 ), 1 ]
[, (1 2 ), 2 ]
Jos Luis Fernndez Vindel
(1)
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
(p r)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
(p r)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
[1,2,3]
(p r)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
[1,2,3]
(p r)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
[1,2,3]
(p r)
(4)
(5)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
[1,2,3]
[1,2,3,4,5]
(p r)
(4)
(5)
(1)
I?
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
[1,2,3]
[1,2,3,4,5]
(p r)
(4)
(5)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(5)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(7)
pq
(1)
I?
(3)
(5)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5]
(p r)
(4)
(6)
[1,2,3]
qr
(2)
[1,2,3,4,5,7]
q
q
[1,2,3,4,5,6]
(7)
(9)
pq
(1)
I?
(3)
[1,2,3]
qr
(2)
[1,2,3,4,5]
(p r)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(4)
[1,2,3,4,5,7,8]
(5)
(6)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
q
q
(7)
(9)
pq
(1)
I?
(3)
[1,2,3]
qr
(2)
[1,2,3,4,5]
(p r)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(4)
[1,2,3,4,5,7,8]
(6)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5,7,9]
(5)
q
q
(7)
(9)
pq
(1)
I?
(3)
[1,2,3]
qr
(2)
[1,2,3,4,5]
(p r)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(4)
[1,2,3,4,5,7,8]
(6)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5,7,9]
(5)
q
q
(7)
(9)
pq
(1)
I?
(3)
[1,2,3]
qr
(2)
[1,2,3,4,5]
(p r)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(4)
[1,2,3,4,5,7,8]
(6)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5,7,9]
(5)
q
q
(7)
(9)
pq
(1)
I?
(3)
[1,2,3]
qr
(2)
[1,2,3,4,5]
(p r)
[1,2,3,4,5,6]
[1,2,3,4,5,7]
(4)
[1,2,3,4,5,7,8]
(6)
p
(8)
Enero, 2011
domingo 16 de enero de 2011
[1,2,3,4,5,7,9]
(5)
q
q
(7)
(9)
(1)
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
pr
(1)
(2)
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
qr
pr
pq
(1)
qr
(2)
pr
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
(1)
qr
(2)
pr
(3)
Enero, 2011
domingo 16 de enero de 2011
pq
(1)
qr
(2)
pr
(3)
p
q
Enero, 2011
domingo 16 de enero de 2011
pq
(1)
qr
(2)
pr
(3)
p
q
Enero, 2011
domingo 16 de enero de 2011
pq
(1)
qr
(2)
pr
(3)
p
q
p
Enero, 2011
domingo 16 de enero de 2011
r
r
pq
(1)
qr
(2)
pr
(3)
p
q
p
Enero, 2011
domingo 16 de enero de 2011
r
r
pq
(1)
qr
(2)
pr
(3)
p
q
p
Enero, 2011
domingo 16 de enero de 2011
Rama completa
(No cerrada)
r
r
pq
(1)
qr
(2)
pr
(3)
p
q
p
Enero, 2011
domingo 16 de enero de 2011
r
r
Rama completa
(No cerrada)
Construccin
de Interpretac.
pq
(1)
qr
(2)
pr
(3)
p
q
p
r
r
Rama completa
(No cerrada)
Construccin
de Interpretac.
p=f
Enero, 2011
domingo 16 de enero de 2011
pq
(1)
qr
(2)
pr
(3)
p
q
p
Enero, 2011
domingo 16 de enero de 2011
Construccin
de Interpretac.
r
r
p=f
Rama completa
(No cerrada)
q=f
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011
Enero, 2011
domingo 16 de enero de 2011