Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 / 45
2 / 45
3 / 45
4 / 45
Simbolizacin:
I
5 / 45
Definiciones:
I
Propiedades:
I
6 / 45
Simbolizacin:
I
I
Definiciones:
I
7 / 45
La Tierra es un planeta:
planeta(Tierra)
La Luna no es un planeta:
planeta(Luna)
La Luna es un satlite:
satlite(Luna)
La Tierra gira alrededor del Sol:
gira(Tierra, Sol)
Todo planeta es un satlite:
x [planeta(x ) satlite(x )]
Todo planeta gira alrededor del Sol:
x [planeta(x ) gira(x , Sol)]
Algn planeta gira alrededor de la Luna:
x [planeta(x ) gira(x , Luna)]
8 / 45
9 / 45
11 / 45
Smbolos lgicos:
I
I
I
I
Smbolos propios:
I
I
I
I
I
Smbolos de constantes: a, b, c, . . . , a1 , a2 , . . ..
Smbolos de predicado (con aridad): P, Q, R, . . . , P1 , P2 , . . ..
Smbolos de funcin (con aridad): f , g, h, . . . , f1 , f2 , . . ..
Smbolos auxiliares: (, ), ,.
Notacin:
I
I
Variables: x , y , z, . . . , x1 , x2 , . . ..
Conectivas: , , , , .
Cuantificadores: , .
Smbolo de igualdad: =.
Smbolos de constantes: a, b, c, d, e
Smbolos de predicado (y de relacin):
de aridad 1: sobre_mesa, libre, es_bloque
de aridad 2: sobre, bajo, encima
de aridad 3: pila
Smbolos de funcin (de aridad 1): superior, tope
Lenguaje de la aritmtica:
I
I
Smbolos de constantes: 0, 1
Smbolos de funcin:
monaria: s (siguiente)
binarias: +,
Smbolo de predicado binario: <
13 / 45
Trminos
I
Ejemplos:
I
En el lenguaje de la aritmtica,
I
I
I
Notacin:
I
I
s, t, t1 , t2 , . . . representan trminos.
Trm(L) representa el conjunto de los trminos de L
14 / 45
Frmulas atmicas
I
Ejemplos:
I
En el lenguaje de la aritmtica,
I
< ((x , 1), s(y )) es una frmula atmica que se suele escribir
como x 1 < s(y )
+(x , y ) = (x , y ) es una frmula atmica que se suele escribir
como x + y = x y
libre(superior(c)) es una frmula atmica.
tope(c) = superior(b) es una frmula atmica.
Notacin:
I
I
15 / 45
Frmulas
I
Ejemplos:
I
En el lenguaje de la aritmtica,
I
I
Notacin:
I
I
F , G, H, F1 , F2 , . . . representan frmulas.
Frm(L) representa el conjunto de las frmulas de L.
16 / 45
R(x , c) P(f (y ))
R(x , c) P(f (y ))
c f (y )
y
17 / 45
Subfrmulas
I
{F },
si F es una frmula atmica;
si F = G;
{F } Subf(G),
{F } Subf(G) Subf(H), si F = G H;
si F = x G;
{F } Subf(G),
{F } Subf(G),
si F = x G
Ejemplo:
Subf(x (R(x , c) P(f (y )))) = { x (R(x , c) P(f (y ))),
(R(x , c) P(f (y ))),
R(x , c),
P(f (y ))}
18 / 45
19 / 45
Conjuntos de variables
I
Def.: El conjunto
de las variables
V(t) = {x },
V(t ) V(t ),
1
n
Def.: El conjunto
de
las
variables
V(t1 ) V(t2 ),
V(t1 ) V(tn ),
V(G),
V(F ) =
V(G) V(H),
V(G),
V(G),
Ejemplos:
I
I
del trmino t es
si t es una constante;
si t es una variable x ;
si t es f (t1 , . . . , tn )
de la frmula F es
si F es t1 = t2 ;
si F es P(t1 , . . . , tn );
si F es G;
si F es G H;
si F es x G;
si F es x G
20 / 45
21 / 45
V(t1 ) V(t2 ),
si F es t1 = t2 ;
VL(G),
si F es G;
VL(F ) =
VL(G) VL(H),
si F es G H;
VL(G) \ {x },
si F es x G;
VL(G) \ {x },
si F es x G
Ejemplo:
Frmula
Ligadas Libres
x (P(x ) R(x , y )) (y P(y ) R(x , z)) x , y
x, y, z
x (P(x ) y R(x , y ))
x, y
z (P(x ) R(x , y ))
x, y
22 / 45
Frmula cerradas:
I
Frmulas abiertas:
I
I
23 / 45