LiA Chp04 Es

L ogica en Acci on
Cap tulo 4: El Mundo de Acuerdo a la L ogica de Predicados
http://www.logicinaction.org/
(http://www.logicinaction.org/)
1 / 29
Principios del Lenguaje
Describiendo mas detalles

Enunciado Juan lee Juan camina Traducci on proposicional
2 / 29

Enunciado Juan lee Juan camina Traducci on proposicional p
2 / 29

Enunciado Juan lee Juan camina Traducci on proposicional p q
2 / 29

Los dos enunciados hablan acerca de Juan, pero esto se pierde en la traducci on.
2 / 29

Los dos enunciados hablan acerca de Juan, pero esto se pierde en la traducci on. Con un lenguaje que incluye predicados . . .
2 / 29

Los dos enunciados hablan acerca de Juan, pero esto se pierde en la traducci on. Con un lenguaje que incluye predicados . . . Enunciado Juan lee Juan camina Traducci on con predicados
2 / 29

Los dos enunciados hablan acerca de Juan, pero esto se pierde en la traducci on. Con un lenguaje que incluye predicados . . . Enunciado Juan lee Juan camina Traducci on con predicados Lj
2 / 29

Los dos enunciados hablan acerca de Juan, pero esto se pierde en la traducci on. Con un lenguaje que incluye predicados . . . Enunciado Juan lee Juan camina Traducci on con predicados Lj Cj
2 / 29
Los nuevos componentes
El lenguaje de la l ogica de predicados nos permite
3 / 29

1
hablar acerca de objetos, sus propiedades, y sus relaciones, y
3 / 29

1
hablar acerca de objetos, sus propiedades, y sus relaciones, y usar cuanticaci on universal y existencial.
3 / 29
Los ingredientes
4 / 29
Los ingredientes
1
S mbolos representando constantes: a, b, c, . . .
4 / 29
Los ingredientes
1
S mbolos representando variables: x, y , z , . . .
4 / 29
Los ingredientes
1
S mbolos representando predicados: A , B , C , . . . P , Q, R , . . .
4 / 29
Los ingredientes
1
Operadores l ogicos:
, ^, _, ,
4 / 29
Los ingredientes
1
Operadores l ogicos: Cuanticadores
, ^, _, , and
@x (para todo x)
Dx (existe un x)
4 / 29
Ejemplo: enunciados silog sticos
5 / 29

Todo A es B
@xpAx Bxq
dxpAx Bxq
5 / 29

Todo A es B Existe un A que es B
@xpAx Bxq DxpAx ^ Bxq
dxpAx Bxq
hxpAx Bxq
5 / 29

Todo A es B Existe un A que es B Todo A es no B (Ning un A es B )
@xpAx Bxq DxpAx ^ Bxq @xpAx Bxq DxpAx ^ Bxq

x Ax
dxpAx Bxq
d p 2Bxq 2hxpAx Bxq
hxpAx Bxq
5 / 29

Todo A es B Existe un A que es B Todo A es no B (Ning un A es B ) Existe un A que no es B (No todo A es B )
@xpAx Bxq DxpAx ^ Bxq @xpAx Bxq DxpAx ^ Bxq DxpAx ^ Bxq @xpAx Bxq
x Ax
dxpAx Bxq
d p 2Bxq 2hxpAx Bxq
hxpAx Bxq
x Ax
h p 2Bxq 2dxpAx Bxq

5 / 29

Todo A es B Existe un A que es B Todo A es no B (Ning un A es B ) Existe un A que no es B (No todo A es B )
@xpAx Bxq DxpAx ^ Bxq @xpAx Bxq DxpAx ^ Bxq DxpAx ^ Bxq @xpAx Bxq
x Ax
dxpAx Bxq
d p 2Bxq 2hxpAx Bxq
hxpAx Bxq
x Ax
h p 2Bxq 2dxpAx Bxq

5 / 29
Pero podemos hacer m as
6 / 29

Podemos hablar de relaciones entre dos o mas objetos: Juan ve a Mar a: Mar a ver a Juan: Juan le da el libro a Mar a:
6 / 29

Podemos hablar de relaciones entre dos o mas objetos: Juan ve a Mar a: Mar a ver a Juan: Juan le da el libro a Mar a: V jm
6 / 29

Podemos hablar de relaciones entre dos o mas objetos: Juan ve a Mar a: Mar a ver a Juan: Juan le da el libro a Mar a: V jm V mj
6 / 29

Podemos hablar de relaciones entre dos o mas objetos: Juan ve a Mar a: Mar a ver a Juan: Juan le da el libro a Mar a: V jm V mj D jlm
6 / 29

Podemos cuanticar de manera mas compleja: Todos ven a alguien: Alguien ve a todos: Todos son vistos por alguien: Alguien es visto por todos:
6 / 29

@xDypV xy q
6 / 29

@xDypV xy q Dx@ypV xy q
6 / 29

@xDypV xy q Dx@ypV xy q @xDypV yx q
6 / 29

@xDypV xy q Dx@ypV xy q @xDypV yx q Dx@ypV yx q

6 / 29
Traducciones
Ejemplos
Axy Mx Hx
x ama a y x es mujer x es hombre
7 / 29
Traducciones
Ejemplos
Axy Mx Hx
Todo hombre ama a una mujer
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx pxq
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx pxq pxq
Todo hombre ama a una mujer x ama a una mujer
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx pxq DypM y ^ Axy q
Todo hombre ama a una mujer x ama a una mujer
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
Todo hombre ama a una mujer Toda mujer que ama a todo hombre no ama a toda mujer
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q @x
Mx
^ pxq pxq
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

Mx
^ pxq pxq
x x
x ama a todo hombre x no ama a toda mujer
p q p q
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

Mx
^ pxq pxq
@ypH y Axy q pxq
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

Mx
^ pxq pxq
@ypH y Axy q @zpM z Axz q
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
@x
Mx
^ @ypH y Axy q pxq
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
@x
Mx
^ @ y pH y A xy q @zpM z Axz q
7 / 29
Traducciones
Ejemplos
Axy Mx Hx

@xHx DypM y ^ Axy q
@x
Mx
^ @ y pH y A xy q @zpM z Axz q
7 / 29
Razonando con cuanticadores
Equivalencias intuitivas
8 / 29
2dx x
equivale a
hx 2x
8 / 29

2dx x 2hx x
equivale a equivale a
hx 2x dx 2x
8 / 29

2dx x 2hx x dx x
equivale a equivale a equivale a
hx 2x dx 2x 2hx 2x
8 / 29

2dx x 2hx x dx x hx x
equivale a equivale a equivale a equivale a
hx 2x dx 2x 2hx 2x 2dx 2x
8 / 29
2dx x 2hx x dx x hx x 2dx x x
equivale a equivale a equivale a equivale a equivale a
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x
8 / 29
2dx x 2hx x dx x hx x 2dx x x
equivale a equivale a equivale a equivale a equivale a equivale a
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x hx x 2
8 / 29
2dx x 2hx x dx x hx x 2dx x x dx
equivale a equivale a equivale a equivale a equivale a equivale a equivale a
2x
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x hx x 2 2hx 2 x 2x
8 / 29
equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a
2x
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x hx x 2 2hx 2 x 2x 2hx x x
8 / 29
equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a
2x
dx
x x
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x hx x 2 2hx 2 x 2x 2hx x x dx x dx x
8 / 29
equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a equivale a
2x
dx x x hx x x
hx 2x dx 2x 2hx 2x 2d x 2x hx 2 x x hx x 2 2hx 2 x 2x 2hx x x dx x dx x hx x hx x
8 / 29
Formulas y Diagramas
Evaluando f ormulas con predicados (1)

Colores (Rojo, V erde, Azul, P urpura) and shapes (cU adrado, C irculo).
Aa hxU x C b Ra U b
Aa V b 2U a Ra hxU x
9 / 29

hxRx dxpRx C x q hxpV x C x q

2dx2Rx dxpRx C x q hxpV x C x q

9 / 29

hxpRx C x q dxpC x U x q hxV x hxC x

hxRx hxC x dxC x dxU x hxpV x C x q

9 / 29

: hombre
: mujer
p j
ama a
Ajk Akj 2pAjk Akj q dxpH x Axk q dxppH x M x q 2Axp q

Ajk Akj pAjk Apk q p2Apj 2Akj q 2dxpM x Axx q hxpM x Apx Axj q
10 / 29
Sintaxis Denici on Formal
El lenguaje de l ogica de predicados

El lenguaje se construye en dos pasos.
11 / 29

1
Un t ermino t es una variable (x, y , z , . . . ) o una constante (a, b, c, . . . ).
11 / 29

1
Un t ermino t es una variable (x, y , z , . . . ) o una constante (a, b, c, . . . ). Una f ormula se construye conforme a las siguientes reglas.
11 / 29

1
Si t1 , . . . , tn son t erminos y P un s mbolo de predicados, entonces podemos construir la f ormula P t1
tn
11 / 29

1
tn
Si y son f ormulas, entonces podemos construir las f ormulas:
2,
11 / 29

1
tn
Si y son f ormulas, entonces podemos construir las f ormulas:
2,
Si es una f ormula y x es una variable, podemos construir las f ormulas: dx, hx

(http://www.logicinaction.org/) 11 / 29
Ejemplos de f ormulas
12 / 29
Axx
Amx
12 / 29
Axx
Dx Ajx
Amx
12 / 29
Axx
Dx Ajx @x Ajx
Amx
12 / 29
Axx
Dx Ajx @xAjx @x H x DypM y ^ Axy q
Amx
12 / 29
Axx
Dx Ajx @xAjx @x H x Dy pM y ^ Axy q Dx M x ^ @yp Axy q
Amx
12 / 29
Axx
Dx Ajx @xAjx @x H x Dy pM y ^ Axy q D x M x ^ @y p Axy q @x DypAxy q DzpAzx q
Amx
12 / 29
Axx
Dx Ajx @xAjx @x H x Dy pM y ^ Axy q D x M x ^ @y p Axy q @x DypAxy q DzpAzx q Dy@xpAyx q
Amx
12 / 29
Variables
13 / 29
Variables
Alcance de un cuanticador. En una f ormula de la forma dx (hx), la sub-f ormula se conoce como el alcance del cuanticador (h).
13 / 29
Variables
Variables ligada a cuanticadores. En una f ormula de la forma dx (hx), toda aparici on de x en est a ligada al cuanticador d (h) siempre y cuando no est e ligada a otro cuanticador en .
13 / 29
Variables
Variables ligada a cuanticadores. En una f ormula de la forma dx (hx), toda aparici on de x en est a ligada al cuanticador d (h) siempre y cuando no est e ligada a otro cuanticador en . Variable ligada. En una f ormula , una aparici on de una variable x est a ligada si existe un cuanticador en al que x est e ligada.
13 / 29
Variables
Variables ligada a cuanticadores. En una f ormula de la forma dx (hx), toda aparici on de x en est a ligada al cuanticador d (h) siempre y cuando no est e ligada a otro cuanticador en . Variable ligada. En una f ormula , una aparici on de una variable x est a ligada si existe un cuanticador en al que x est e ligada. Variable libre. En una f ormula , una aparici on de una variable x est a libre si no est a ligada a ning un cuanticador en .
13 / 29
Ejemplo
Px
dxpQx Rxy q
14 / 29
Ejemplo
Px
dxpQx Rxy q Px dxpQx Rxy q dx Qx Rxy

Qx Rxy
14 / 29
Ejemplo
Px
dxpQx Rxy q Px dxpQx Rxy q dx Qx Rxy

Qx Rxy
Esta aparici on de x no est a ligada a ning un cuanticador (est a libre).
14 / 29
Ejemplo
Px
dxpQx Rx y q Px dxpQx Rxy q dx Qx Rxy

Qx Rx y
Esta aparici on de x no est a ligada a ning un cuanticador (est a libre). Estas apariciones de x est an ligadas (a d).
14 / 29
Ejemplo
Px
dxpQx Rx y q Px dxpQx Rxy q dx Qx Rxy

Qx Rx y
Esta aparici on de x no est a ligada a ning un cuanticador (est a libre). Estas apariciones de x est an ligadas (a d). Esta aparici on de y no est a ligada a ning un cuanticador (est a libre).
Tipos de f ormulas
15 / 29
Tipos de f ormulas
F ormula cerrada. Una f ormula es cerrada si ninguna variable aparece libre en ella.
15 / 29
Tipos de f ormulas
F ormula cerrada. Una f ormula es cerrada si ninguna variable aparece libre en ella. F ormula abierta. Una f ormula es abierta si al menos una variable aparece libre en ella.
15 / 29
Substituci on (1)
16 / 29
Substituci on (1)
Substituci on dentro de un t ermino. El t ermino que resulta de reemplazar las apariciones de la variable y por el t ermino t dentro del t ermino s se denota como p sq y t
16 / 29
Substituci on (1)
Substituci on dentro de un t ermino. El t ermino que resulta de reemplazar las apariciones de la variable y por el t ermino t dentro del t ermino s se denota como p sq y t Formalmente, Dada una constante a: Dada una variable x:
5
pcqy t : c y p xq t : x py qy t : t
para todo x diferente de y
16 / 29
Substituci on (1)
Substituci on dentro de un t ermino. El t ermino que resulta de reemplazar las apariciones de la variable y por el t ermino t dentro del t ermino s se denota como p sq y t Formalmente, Dada una constante a: Dada una variable x: Ejemplos:
5
pcqy t : c y p xq t : x py qy t : t
para todo x diferente de y
paqx c := a p xq y a := x pz qz y := y
Substituci on (2)
17 / 29
Substituci on (2)
Substituci on dentro de una f ormula. La f ormula que resulta de reemplazar las apariciones libres de la variable y por el t ermino t dentro de la f ormula s se denota como pqy t
17 / 29
Substituci on (2)
Substituci on dentro de una f ormula. La f ormula que resulta de reemplazar las apariciones libres de la variable y por el t ermino t dentro de la f ormula s se denota como pqy t Formalmente,
y y pP t1 tn qy t := P pt1 qt ptn qt y p2qy t := 2pqt y y p qt := pqt pqy t y y p qy t := pqt p qt y y p qt := pqt pqy t y y p qy t := pqt p qt
y pdxqy t := dxpqt y pdyqt := dy y phxqy t := hxpqt phyqy t := hy
17 / 29
Sem antica Denici on Formal
Modelos
Un modelo es una tupla M
xD, I , gy en la cual
18 / 29
Modelos
D es el dominio: una colecci on no vac a de objetos;
18 / 29
Modelos
D es el dominio: una colecci on no vac a de objetos; I es la funci on de interpretaci on, asignando a cada s mbolo de constante y s mbolo de predicado, un objeto en D y una relaci on sobre D , respectivamente;
18 / 29
Modelos
D es el dominio: una colecci on no vac a de objetos; I es la funci on de interpretaci on, asignando a cada s mbolo de constante y s mbolo de predicado, un objeto en D y una relaci on sobre D , respectivamente; g es la asignaci on de variables, asignando a cada variable un objeto en D .
18 / 29
Modicando asignaciones de variables
Dada una asignaci on de variables g , una variable x y un objeto d en D , la asignaci on de variables g rx:ds se dene como
19 / 29
5
g rx:ds pxq : d
g rx:ds py q : g py q para todo x diferente de y
19 / 29
5
g rx:ds pxq : d
g rx:ds py q : g py q para todo x diferente de y
La asignaci on de variables g rx:ds es id entica a g excepto en el objeto asignado a x, que es ahora d.
19 / 29
Asignando valores a t erminos
Dado un modelo M xD , I , g y, el valor de cada t ermino t, t I g , se dene de la siguiente forma.
20 / 29
Dado un modelo M xD , I , g y, el valor de cada t ermino t, t I g , se dene de la siguiente forma. Si el t ermino es una constante a: a
I g
:= I paq
20 / 29
Dado un modelo M xD , I , g y, el valor de cada t ermino t, t I g , se dene de la siguiente forma. Si el t ermino es una constante a: Si el t ermino es una variable x: a x
I g I g
:= I paq
:= g pxq
20 / 29
Evaluando f ormulas
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn
ssi
t1 I g , . . . , tn
I g
I pP q
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2
ssi ssi
I pP q no es cierto que xD , I , g y |
t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy |
ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy |

t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy | xD, I , gy |
ssi ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy | xD, I , gy | o xD, I , gy |

t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy | xD, I , gy | xD, I , gy |
ssi ssi ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy | xD, I , gy | o xD, I , gy | xD, I , gy | implica xD, I , gy |

t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy | xD, I , gy | xD, I , gy | xD, I , gy |
ssi ssi ssi ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy | xD, I , gy | o xD, I , gy | xD, I , gy | implica xD, I , gy | xD, I , gy | si y solo si xD, I , gy |
t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy | xD, I , gy | xD, I , gy | xD, I , gy | xD, I , gy | dx
ssi ssi ssi ssi ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy | xD, I , gy | o xD, I , gy | xD, I , gy | implica xD, I , gy | xD, I , gy | si y solo si xD, I , gy | para todo d D tenemos xD , I , g rx:ds y |
t1 I g , . . . , tn
I g
21 / 29
Evaluando f ormulas
xD, I , gy | P t1 tn xD, I , gy | 2 xD, I , gy | xD, I , gy | xD, I , gy | xD, I , gy | xD, I , gy | dx xD, I , gy | hx
ssi ssi ssi ssi ssi ssi ssi ssi
I pP q no es cierto que xD , I , g y | xD, I , gy | y xD, I , gy | xD, I , gy | o xD, I , gy | xD, I , gy | implica xD, I , gy | xD, I , gy | si y solo si xD, I , gy | para todo d D tenemos xD , I , g rx:ds y | existe un d D tal que xD , I , g rx:ds y |
t1 I g , . . . , tn
I g
21 / 29
Ejemplo
Shapes (cU adrado, C irculo).
a b c
22 / 29
Ejemplo
Shapes (cU adrado, C irculo). D : t a , b , c , d
a b c
22 / 29
Ejemplo
Shapes (cU adrado, C irculo). D : t a , b , c , d I paq : a I pbq : b I p cq : c I pdq : d
a b c
22 / 29
Ejemplo
a b c
u I pU q : t d u I pC q : t a , b , c u
22 / 29
Ejemplo
a b c
u I pU q : t d u I pC q : t a , b , c u g pxq : b g py q : a
22 / 29
Ejemplo
a b c
xD, I , gy | Ca xD, I , gy | U x xD, I , gy | hxU x
i i i
22 / 29
Ejemplo
a b c
i i i
I g
I pC q
22 / 29
Ejemplo
Shapes (cU adrado, C irculo). D : t a , b , c , d I paq : a I pbq : b I p cq : c I pdq : d I paq I pC q
a b c
i i i
22 / 29
Ejemplo
a b c
i i i
I pC q
22 / 29
Ejemplo
a b c
i i i
ta,
b, c
22 / 29
Ejemplo
a b c
i i i
ta,
b, c
u!
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! x I g I pU q
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! g pxq I pU q
a
22 / 29
Ejemplo
a b c
i i i
a b
ta, b, cu ! I pU q
22 / 29
Ejemplo
a b c
i i i
a b
ta, b, cu ! t du
22 / 29
Ejemplo
a b c
i i i
a b
ta, b, cu ! t du%
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x xD, I , grx: a s y | U x

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x x I g r s I pU q

a
x: a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x g rx: a s pxq I pU q

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x a I pU q

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x a td u

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x a td u %

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x xD, I , grx: Ux d sy |

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x x I g r s I pU q

a
x: d
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x g rx: d s pxq I pU q

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x d I pU q

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x d td u

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x d td u !

a
22 / 29
Ejemplo
a b c
i i i
ta, b, cu ! b td u % there is a o D such that xD , I , g rx:os y | U x !

a
22 / 29
F ormulas e Inferencias V alidas
Deniciones (1)
23 / 29
Deniciones (1)
Una f ormula es v alida (l ogicamente) si, para cualquier modelo M , tenemos M | . En este caso, escribiremos | .
23 / 29
Deniciones (1)
Una f ormula es v alida (l ogicamente) si, para cualquier modelo M , tenemos M | . En este caso, escribiremos | . Una inferencia 1 , . . . , n { es v alida (l ogicamente) si, para cualquier modelo M tal que M | 1 , . . . , M | n , tenemos que M | . En este caso, escribiremos 1 , . . . , n | .
23 / 29
Deniciones (2)
En particular, dadas dos f ormulas y ,
24 / 29
Deniciones (2)
En particular, dadas dos f ormulas y , es una consecuencia (l ogica) de si
24 / 29
Deniciones (2)
En particular, dadas dos f ormulas y , es una consecuencia (l ogica) de si
| |
es equivalente (l ogicamente) a si
24 / 29
Derivaci on
Sistema de derivaci on
Las f ormulas v alidas en la l ogica de predicados pueden ser derivadas con el siguiente sistema:
25 / 29
Derivaci on
1
Todas las tautolog as proposicionales.
25 / 29
Derivaci on
1 2
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en .
25 / 29
Derivaci on
1 2 3
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq.
25 / 29
Derivaci on
1 2 3 4
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq. dx, siempre y cuando x no aparezca libre en .
25 / 29
Derivaci on
1 2 3 4 5
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq. dx, siempre y cuando x no aparezca libre en . hx 2dx2.
25 / 29
Derivaci on
1 2 3 4 5 6
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq. dx, siempre y cuando x no aparezca libre en . hx 2dx2. Modus ponens (MP): dado y , deriva .
25 / 29
Derivaci on
1 2 3 4 5 6 7
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq. dx, siempre y cuando x no aparezca libre en . hx 2dx2. Modus ponens (MP): dado y , deriva . Generalizaci on universal (GU): dado , deriva dx siempre y cuando x
no aparezca libre en ninguna premisa usada en la derivaci on de .
25 / 29
Derivaci on
1 2 3 4 5 6 7
dx pqx t , siempre y cuando ninguna variable en t aparezca ligada en . dxp q pdx dxq. dx, siempre y cuando x no aparezca libre en . hx 2dx2. Modus ponens (MP): dado y , deriva . Generalizaci on universal (GU): dado , deriva dx siempre y cuando x
no aparezca libre en ninguna premisa usada en la derivaci on de .
Un teorema es una f ormula que puede ser derivada en un n umero nito de pasos siguiendo los principios anteriores.
25 / 29
Derivaci on
Ejemplo
26 / 29
Derivaci on
Ejemplo
1.
dx2 p2qx t
Axioma 2
26 / 29
Derivaci on
Ejemplo
1. 2.
dx2 p2qx t dx2 2pqx t
Axioma 2 Denici on de substituci on
26 / 29
Derivaci on
Ejemplo
1. 2. 3.
dx2 p2qx t x d x 2 2p q t x x dx2 2pqt pqt 2dx2
Axioma 2 Denici on de substituci on Tautolog a proposicional
26 / 29
Derivaci on
Ejemplo
1. 2. 3. 4.
dx2 p2qx t x d x 2 2p q t x x dx2 2pqt pqt 2dx2 pqx t 2dx2
Axioma 2 Denici on de substituci on Tautolog a proposicional MP con pasos 2 y 3
26 / 29
Derivaci on
Ejemplo
1. 2. 3. 4. 5.
dx2 p2qx t x d x 2 2p q t x x dx2 2pqt pqt 2dx2 pqx t 2dx2 pqx t hx
Axioma 2 Denici on de substituci on Tautolog a proposicional MP con pasos 2 y 3 Axioma 5
26 / 29
Derivaci on
Ejemplo
1. 2. 3. 4. 5.
dx2 p2qx t x d x 2 2p q t x x dx2 2pqt pqt 2dx2 pqx t 2dx2 pqx t hx
Axioma 2 Denici on de substituci on Tautolog a proposicional MP con pasos 2 y 3 Axioma 5
Por lo tanto, pqx t
Dx es un teorema.
26 / 29
Derivaci on
El sistema de derivaci on dado tiene dos propiedades:
27 / 29
Derivaci on
El sistema de derivaci on dado tiene dos propiedades: Es correcto: todo teorema es una f ormula v alida.
27 / 29
Derivaci on
El sistema de derivaci on dado tiene dos propiedades: Es correcto: todo teorema es una f ormula v alida. Es completo: toda f ormula v alida es un teorema.
27 / 29
Igualdad y S mbolos de Funciones
Igualdad
El predicado de igualdad .
28 / 29
Igualdad
El predicado de igualdad . Si t1 y t2 son t erminos, entonces t1
t2 es una f ormula.
28 / 29
Igualdad
t2 es una f ormula.
Ejemplo: Juan ama a Mar a y Beto ama a otra mujer Ajm
^ Dx M x ^ px mq ^ Abx
28 / 29
Igualdad
t2 es una f ormula.
Ejemplo: Juan ama a Mar a y Beto ama a otra mujer Ajm
^ Dx M x ^ px mq ^ Abx
ssi t1
I g
xD, I , gy | t1 t2
y t2
I g
son el mismo objeto.
28 / 29
S mbolos representando funciones
29 / 29

S mbolos representando funciones: f , g , h, . . .
29 / 29

S mbolos representando funciones: f , g , h, . . . Si t1 , . . . , tn son t erminos y f un s mbolo de function, f pt1 , . . . , tn q es un t ermino.
29 / 29

S mbolos representando funciones: f , g , h, . . . Si t1 , . . . , tn son t erminos y f un s mbolo de function, f pt1 , . . . , tn q es un t ermino. Ejemplo: El sucesor de todo n umero es mayor que el n umero
dxpx spxqq
29 / 29

dxpx spxqq
En un modelo xD , I , g y, la funci on de interpretaci on le asigna, a cada s mbolo de funci on f , una funci on I pf q sobre D .
29 / 29

dxpx spxqq
En un modelo xD , I , g y, la funci on de interpretaci on le asigna, a cada s mbolo de funci on f , una funci on I pf q sobre D . El valor de una funci on: f pt1 , . . . , tn q
I g
: I pf q t1 I g , . . . , tn
I g
29 / 29

dxpx spxqq
En un modelo xD , I , g y, la funci on de interpretaci on le asigna, a cada s mbolo de funci on f , una funci on I pf q sobre D . El valor de una funci on: f pt1 , . . . , tn q
I g
: I pf q t1 I g , . . . , tn
I g
Ejemplo: la funci on sucesor s est a dada como I psqpnq : n 1.
29 / 29

LiA Chp04 Es

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LiA Chp04 Es

Cargado por

Copyright:

Formatos disponibles

L ogica en Acci on

Cap tulo 4: El Mundo de Acuerdo a la L ogica de Predicados

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Describiendo mas detalles

Principios del Lenguaje

Los nuevos componentes

El lenguaje de la l ogica de predicados nos permite

Principios del Lenguaje

Los nuevos componentes

El lenguaje de la l ogica de predicados nos permite

hablar acerca de objetos, sus propiedades, y sus relaciones, y

Principios del Lenguaje

Los nuevos componentes

El lenguaje de la l ogica de predicados nos permite

Principios del Lenguaje

Principios del Lenguaje

S mbolos representando constantes: a, b, c, . . .

Principios del Lenguaje

S mbolos representando constantes: a, b, c, . . .

S mbolos representando variables: x, y , z , . . .

Principios del Lenguaje

S mbolos representando constantes: a, b, c, . . .

S mbolos representando variables: x, y , z , . . .

S mbolos representando predicados: A , B , C , . . . P , Q, R , . . .

Principios del Lenguaje

S mbolos representando constantes: a, b, c, . . .

S mbolos representando variables: x, y , z , . . .

S mbolos representando predicados: A , B , C , . . . P , Q, R , . . .

Principios del Lenguaje

S mbolos representando constantes: a, b, c, . . .

S mbolos representando variables: x, y , z , . . .

S mbolos representando predicados: A , B , C , . . . P , Q, R , . . .

Operadores l ogicos: Cuanticadores

Principios del Lenguaje

Ejemplo: enunciados silog sticos

Principios del Lenguaje

Ejemplo: enunciados silog sticos

Principios del Lenguaje

Ejemplo: enunciados silog sticos

@xpAx Bxq DxpAx ^ Bxq

Principios del Lenguaje

Ejemplo: enunciados silog sticos

@xpAx Bxq DxpAx ^ Bxq @xpAx Bxq DxpAx ^ Bxq

d p 2Bxq 2hxpAx Bxq

Principios del Lenguaje

Ejemplo: enunciados silog sticos

d p 2Bxq 2hxpAx Bxq

h p 2Bxq 2dxpAx Bxq

Principios del Lenguaje

Ejemplo: enunciados silog sticos

2dx x 2hx x dx x hx x 2dx x x

2dx x 2hx x dx x hx x 2dx x x

2dx x 2hx x dx x hx x 2dx x x dx

2dx x 2hx x dx x hx x 2dx x x dx