Вы находитесь на странице: 1из 14

Parte I: Lgica de Predicados (Lgica de Primer Orden)

(Viernes 14de Marzo a Viernes 25 de Abril)


[1] Definicin: Llamaremos lenguaje formal o predicativo ( o de primer orden) al conjunto
de los siguientes smbolos, agrupados en las categoras siguientes:
i) Smbolos de variable: x, y, z, v, u, w, y1, y2 . . .etc.
ii) Smbolos de constante: a, b, c, d, a1, a2 . . .etc.
iii) Smbolos de predicado ( o relacin): P 1, Q1, R1, R11, R12, R13, R2 . . .etc. De estos smbolos, los
que tienen superndice n son llamados smbolos de predicado n-ario. Por ejemplo, R 5 es 5ario, T5 tambin, Q20 es 20-ario, etc.
iv) Cuantificadores: (universal), (existencial)
v) Smbolo de igualdad:
vi) Conectivos lgicos: - , v, ^ ,
vii) Parntesis: ( )
[2] Observacin: Este no es EL lenguaje predicativo, sino UN lenguaje predicativo.
[3]Definicin: En conjunto, los smbolos de variable y los de constante sern llamados
trminos del lenguaje predicativo.
[4]Definicin: Una frmula atmica es una expresin del lenguaje predicativo que tiene una
de las dos formas siguientes:
(a) t1 t2, donde t1 y t2 son trminos.
(b) An t1, t2, t3. . .tn donde An representa un smbolo de predicado n-ario, y los t i son n
trminos.
Ejemplos:
i) v2 v5 es frmula atmica; tambin x y , a y , c b
ii) R31v, a, y es frmula atmica; tambin Q5a, b, c, d, e; tambin P1a.
iii) P3v, a NO es frmula atmica.
v) Q2 b NO es frmula atmica; tampoco x ay
[5] Definicin: Una frmula bien formada (frecuentemente diremos simplemente frmula)
es una secuencia finita de smbolos del lenguaje predicativo cuya construccin se enmarca
dentro de las siguientes reglas:

a) Toda frmula atmica es frmula


b) Si y son frmulas, tambin lo son: (-), ( ^ ), ( v ), ( ), ( )
c) Si es una frmula, y k es una variable, entonces k , y k es una frmula.
d) Slo las expresiones construidas segn (a), (b) y (c) son frmulas
Ejemplos:
(i) Son frmulas, por ser frmulas atmicas, las siguientes: v 1 v5 , x y, a x, b b, R 3abd,
Q5xxxxx.
(ii)

(a y ^ R3xyb) es frmula

(iii) (a b Q1x) = (R3axy v Q1b) es frmula


(iv)

x y (a y ^ R2xx) es frmula

(v)

aR1x, NO es frmula

(vi)

x y, NO es frmula

[6] Observacin. Adoptaremos las siguientes convenciones:


(i) Cuando no se genere ambigedad, podemos eliminar algunos parntesis, o agregar
parntesis innecesarios . Tambin usaremos parntesis cuadrados.
(ii) En frmulas atmicas con smbolo predicativo, podremos escribir los trminos entre
parntesis separados por comas.

Por ejemplo, la frmula R 5abxdc la escribiremos

R5(a,b,x,d,c).
(iii) Para disminuir la cantidad de parntesis, se entender que el conectivo de negacin se
aplica a tan poco como sea posible.
Lectura intuitiva de las frmulas cuantificadas:
x para cada x se cumple la afirmacin
sea cual sea el objeto x considerado, se cumple
x

existe al menos un objeto x tal que se cumple la afirmacin

Ejemplos: Consideremos un grupo de personas, a=Claudia, R 2= esta persona es hermano/a de


esta persona.

i) x R2(x,a) : existe al menos una persona del grupo que es hermana de Claudia
ii) x R2(y,a) : cada persona del grupo es hermana de Claudia
iii) x y R2(x,y) : cada persona del grupo tiene al menos un hermano en el grupo
iv) x y R2(x,y): hay al menos una persona que es hermano/a de todas las del grupo
v)

y (R2(x,y) R2(x,a)) : Sean cuales sean las personas que consideremos, si son

hermanos entonces la primera es hermana de Claudia.


[7] Definicin: Diremos que una variable que aparece libre (en una frmula dada) si figura en
al menos un lugar de la frmula sin caer dentro del mbito de un cuantificador referido a ella
( a la variable). Una frmula en la que no aparecen variables libres ser llamada ORACIN.
i) ( x P2(x,y)) ^ -R2(x,y) NO es oracin, la x est libre
ii) x [ P2(x,y) ^ -R2(x,y)] NO es oracin, la x no est libre pero la y s lo est
iii) x y [ P2(x,y) ^ -R2(x,y)]s es oracin
iv) x [ P2(x,y) ^ y -R2(x,y)] NO es oracin
v)

x (x y) no es oracin, x y (x y) s es oracin

vi) a b, s es oracin
[8] Definicin. Sea L un conjunto de smbolos de constante y/o de predicado. Una
interpretacin para L consiste en: fijar un conjunto no vaco, U, que llamaremos universo
discurso; asignar a cada smbolo de constante de L un objeto de U; y asignar a cada smbolo
de relacin n-ario de L una relacin (de cualquier tipo) entre objetos de U, que involucre
exactamente n objetos.
Ejemplo: Sea L = { a, b, Q1 }
sta es una interpretacin para L
Tomemos U = nmeros naturales
a=4
b=7
Q1 = este nmero es par
(Nota: Al unir todos estos elementos podemos producir oraciones con sentido completo y
valor de verdad)

[9] Definicin (re-definicin?): Un conjunto que consta de smbolos de predicado y/o


smbolos de constante, ser llamado un sublenguaje del lenguaje de primer orden; o ms
brevemente, un lenguaje de primer orden; o ms brevemente, un lenguaje.
[10] Definicin: Dado un lenguaje L, sea M una interpretacin para L. Entonces, si
representamos con t a alguno (cualquiera) de los smbolos de constante de L, denotaremos
t

al objeto del universo discurso U que ha sido asignado al smbolo t. Y lo mismo para los

smbolos de predicado
Ms an, escribiremos ~e para designar un objeto de U incluso si no es e un smbolo de
L.
Ejemplo: L = {a, b, Q1}
La interpretacin M la describiremos as:
U = nmeros naturales
a

=4

b = 7

Q1

1 = ser par

Smbolos
de L

Objetos
de U

[11] Definicin: Sea L un lenguaje, y sea M una interpretacin para L. Si t 1, t2, t3. . .tn son
smbolos de constante que estn en L, la afirmacin M es modelo de una oracin t 1 t2 (o
sinnimamente, t1 t2 es verdadera en M) se simboliza

I= t1 t2 si y slo si t

= t

I= t1 t2, y se define as.

Y si adems Kn o un smbolo de relacin n-aria que est en L, definimos:


M

tiene la relacin

I= Kn t1,t2, . . .tn

[esto ltimo lo escribiremos as:

, t

,. . . t

].

Ejemplo: Con L = {a, b, Q1} y con M :


U = nmeros naturales
a

=4

~
b =7

Q1

1 = ser par

Se cumple

I= Q1(a), o no?

Respuesta:
M

I= Q1(a) : M va a ser modelo de la frmula Q1(a) si y slo si el objeto = 4 tiene

la propiedad 1 = ser par; en resumen, M I= Q1(a) si y slo si 4 es par. As que s se cumple


M

I= Q1(a).
En cambio, M I Q1(b): en efecto M I= Q1(b) si y slo si 1 ( b ), o sea, si y slo si el

nmero 7 es par.
Y M I a b, porque M I= a b si y slo si = ~
b ,es decir, si slo si 4=7.
[12] Definicin: Sea L un lenguaje y M interpretacin para L. Para cada oracin en L (esto
es, cada oracin del lenguaje formal que no tenga smbolos de constante y/o relacin fuera
de los de L), definiremos la afirmacin M es modelo de (o equivalentemente es
verdadera en M) del modo siguiente:
(a) Si es atmica, se defini en [11]
(b) M I= (-) si y slo si

(c) Si =( ^ ), M I= ( ^ ) si y slo si M I= y

I=

(d) Si =( v ), M I= ( v ) si y slo si M I= y/o


(e) Si =( ), M I= ( ) si y slo si M I y/o
(f)

I=

k si y slo si para cada objeto

I=

I=
e U (si para cada objeto se cumple que

existe en U)
(g) M I=

k si y slo si hay al menos un objeto e en U tal que M I= ( k ).

[13] Definicin: Si es una frmula en L, k un smbolo de variable, y

un objeto del

universo U de una interpretacin M para L, entonces la expresin ( k ) se interpretar

como la misma frmula , pero tratando a k como si fuera una constante que nombra al

e . Por ejemplo, si = R2(y, b), entonces ( y ) la escribimos R2( y , b) y la

~
c , b ) con ~
c = ~e , es decir, como si afirmara que se
interpretamos como si fuese R 2 ( ~
~
cumple R2( e , b ).

objeto

Ejemplos: Sea L = {a, b, c, Q1, R2}


Y sea M=
U= nmeros naturales
=4
~
b =7

~
c =8

1 = ser par
2 = este nmero es mayor que este nmero

(i) M I= Q1(b) ^ Q1(c)?


Respuesta: M I= Q1(b) ^ Q1(c) si y slo si M I= Q1(b) y

I= Q1(c)
c )
si y slo si 1( b ) y 1( ~
M

si y slo si 7 es par y 8 es par


Dado que la conjuncin es falsa, entonces

(ii) M I=

I Q1(b) ^ Q1(c)

x R2(x, c) ?

Respuesta: M I=
M

x R2(x, c) si y slo si para cada e nmero natural se cumple que

c )
I= R2( x , c) si y slo si para cada e nmero natural 2 ( e , ~

si y slo si para cada e nmero natural , e > 8


Dado que esto no se cumple, entonces M I x R2(x, c)

(iii) M I=

x (R2(x, b) R2(x, c))?

Respuesta: M I=

x (R2(x, b) R2(x, c) si para cada e

se tiene que

I= (R2( x , b) R2( x , c)

I=R2( x , c)

c )
si y slo si para cada ~e se tiene No 2 ( e , b ) y/o 2 ( e , ~
si y slo si para cada e se tiene

I(R2( x , b) y/o

si y slo si para cada e se tiene No

e > 7 y/o e > 8

Y esto es falso porque con e = 8, ambas son falsas. Luego M I x (R2(x, b) R2(x, c)
[14] Definicin: Sea una oracin en L (podra ser L vaco). Diremos que es vlida (o
lgicamente verdadera) si M I= para toda interpretacin M para L (es decir, si es verdadera
en toda interpretacin para L). Si es vlida escribiremos I=.
Ejemplos:
(i) I=R2(a, b)? Respuesta1: NO
L= {a, b, R2}. Tomemos M: U = {Pedro, el padre de Pedro}
= Pedro
b = El padre de Pedro
2 = esta persona es mayor que esta persona
Entonces

IR2(a, b), porque

I=R2(a, b) si y slo si 2 (,

b ), si y slo si Pedro es mayor

que el padre de Pedro. Y esto es falso.

(ii) I= [(a b) ( b a)]?


Respuesta: Sea M una interpretacin cualquiera para L = {a, b}.
Entonces: M I=[(a b) ( b a)] si y slo si [ M I(a b) y/o M I=( b a)],
si y slo si no ocurre = ~
b y/o b = .
Y esto es cierto, por lo tanto I= [(a b) ( b a)].

Se muestra que no es vlida sealando al menos una interpretacin en donde se vuelva invlida.

[15] Definicin: Sea una oracin en L, y sea un conjunto de oraciones en L. Diremos que
es consecuencia lgica de , denotado I= , si no existe interpretacin alguna para L tal
que es modelo de (todas) las oraciones de y no es modelo de .
Ejemplo: {R1(b)} I=

x R1(x) ?

Si M es una interpretacin para L= <b, R1>, tenemos:


M

I= R1(b) si y slo si 1( b ), y por otro lado M I= x R1(x)

si y slo si e U tal que 1( e )


Por lo tanto, no debe ocurrir que

I= R1(b) y simultneamente

I x R1(x)

Ejercicio(i): Demostrar que {, -} I= , para cualquiera frmulas , .


[Nota: Para este ejercicio el profesor hizo unos comentarios de los que no tom apunte]
Ejercicio(ii): Demostrar que { x R1(x)} M I R1(b)
Tenemos L=<b, R1 >, y M{ U= n naturales; 1= ser par; b = 7}
Entonces

I=

x R1(x) (existe un n natural e tal que e es par)

Pero M I R1(b) (igualmente, no es verdad que

b = 7 es par)

[16] Definicin: Un conjunto de oraciones en L ser llamado satisfactible si existe una


interpretacin para L que es modelo de todas las oraciones del conjunto.
[17] Teorema: I= si y slo si U {-} es insatisfactible.
CLCULO DEDUCTIVO:
Conectivo: - ,
Cuantificador:
Traduccin de formulas:
( v ) abrevia la frmula

( - )

( ^ ) abrevia la frmula -( -)
( ) abrevia la frmula
x

( ) ^ ( )

abrevia la frmula - x -

[18] Definicin: Llamaremos axioma lgico (o simplemente axioma) a cada frmula que
tenga (al menos) una de las formas siguientes:
[1] Tautologas de primer orden.
[2] x ( x ) con la variable sustituible por el trmino t.
t
[3] [ x ( )] [( x ) ( x )].
[4] x si x no aparece libre en .
[5] x x
[6] ( x y) ( *) , donde es atmica y * se obtiene de sustituyendo x por y
en los lugares que se quiera.
[7] Toda generalizacin universal de un axioma, y todo equivalente de un axioma con otra
variable.
[19] Observaciones/Definiciones: Una generalizacin universal de una frmula (axioma [7])
se obtiene anteponiendo a la frmula un cuantificador universal con su correspondiente
variable. Por ejemplo:
y R2(a, b) es generalizacin universal de R2(a, b)
Una tautologa de primer orden es un frmula que produce una tautologa proposicional
si, al ir de afuera hacia dentro, cada sub-frmula que comienza con un cuantificador se
sustituye por una letra proposicional, y cada frmula atmica que quede, tambin.
Finalmente, para el axioma [2] habra que definir variable sustituible por un trmino,
pero en lugar de hacerlo , slo asumiremos que en los ejemplos que consideremos , eso
siempre ocurrir.
Ejemplos Axioma [1] (Tautologas de primer orden):
x P1(x) P1(a) No es tautologa de primer orden: P Q
En cambio :

[ x P1(x) P1(a)] [- P1(a) -

x P1(x) ] S es tautologa de primer

orden (P Q) (-Q -P).


Tambin es tautologa de primer orden: P1(a) (R2(a, b) v P1(a))
P (

P )

Ejemplos Axioma [2] x ( x ) :


t
x P1(x) P1 (a)

( x ) donde x est sustituida por a


a

Ejemplos Axioma [6] ( x y) ( *):


(x y) [R2(x, a) R2(y, a)]
[20] Definicin: Dado un conjunto de frmulas (podra ser vaco), llamaremos deduccin
formal a partir de a cada sucesin finita de frmulas tal que cada una de tales frmulas
cumple con al menos una de las siguientes condiciones:
(i) Es un axioma lgico.
(ii) Es una de las frmulas de .
(iii) En una frmula tal que en la deduccin formal han aparecido con anterioridad
frmulas y .
La ltima frmula de la deduccin formal ser llamada conclusin (de la deduccin formal),
y las frmulas del conjunto sern llamadas premisas.
Finalmente, el smbolo I significar que existe una deduccin formal a partir de
que tiene como conclusin .
[21] Definicin: La regla (iii) de [20], que autoriza a agregar a una deduccin formal una
frmula en caso de haber aparecido con anterioridad formal y
Modus ponendo ponens (o simplemente Modus ponens), y la abreviaremos M. P.
Ejemplos
(i) Mostremos {x y} I y x
x y

(Premisa)

(x y) (x x y x) (Axioma [6])
(x x) (y x)

(M. P)

x x

(Axioma [5])

y x

(M. P)

, se llama

(ii) Mostremos { y (a y)} I [(a b) v (R1(c))]


y (a y)

(Premisa)

y (a y) a b

(Axioma [2])

ab

(M. P)

a b [(a b) v (R1(c))]

(Axioma [1])

a b v R1(c)

(M. P)

(iii) Consideremos el razonamiento:


Todo participante debe inscribirse
Alex es un participante
Luego, Alex debe inscribirse
Podemos construir la correspondiente deduccin formal, que debera, corresponder a
{ x [P1(x) I1(x)], P1(a) } I I1(a) ?

x [P1(x) I1(x)]

(Premisa)

x [P1(x) I1(x)] (P1(a) I1(a))

(Axioma [2])

P1(a) I1(a)

(M. P)

P1(a)

(Premisa)

I1(a)

(M. P)
*

>Esta no es una deduccin formal :


= {R1(a)}
R1(a)

(Premisa)

R1(a) Q1(b)

(Premisa invlida)

Q1(b)

(M. P)
*

U {} : El conjunto obtenido al considerar todas las frmulas de ms (al reunir las


frmulas de y )
Por ejemplo:
= {R1(a), x Q1(x)}
U { x Q2(x, a)} = {R1(a), x Q1(x), x Q2(x, a)}
[22] Teorema (de la deduccin):
Si U {} I , entonces I ( )
[23] Teorema ( de la contraposicin):
U {} I si y slo si U {- } I -
[24] Teorema (de generalizacin): Si I , y si una cierta variable, digamos x, no
aparece en las frmulas de ( en ninguna de ellas), entonces I

x .

Ejemplo: Mostrar que es posible (sin tener que hacer la deduccin)


I [- x (y x -R1(x))] R1(y)
[Nota: I significa que se puede efectuar una deduccin formal con conclusin sin usar
premisas]
Por [22], bastara mostrar que {- x (y x -R1(x))} I R1(y)
Por [23], bastara {-R1(y)} I x (y x -R1(x))
Por [24], bastara {-R1(y)} I y x -R1(x)
Por [22], bastara {-R1(y), y x} I -R1(x)
[25] Teorema de correccin y completud: Dados un conjunto de oraciones y una oracin
, I si y slo si I= .
[Nota: En particular I si y slo si I= ; se puede deducir sin premisas si y slo si es una
frmula vlida]
Correccin:

I=

Completud: I=

[26] Observacin: En realidad I si y slo si I= , an si no son oraciones. Pero en este

curso slo hemos definido I= para oraciones.


[27] Definicin: Un conjunto de frmulas se dir inconsistente si existe (al menos) una
frmula tal que I y I - (si no existe una tal, el conjunto se dice consistente).
[Nota: No se apela a ninguna nocin de significado, slo se define en trminos de sintaxis]
[28] Nota: En relacin a los conjuntos inconsistentes, notar que:
( I y I -) si y slo si ( I ( ^ -))
[29] Teorema/Observacin: A partir del teorema de la correccin ( I implica I= ) se
puede demostrar que si un conjunto es satisfactible, entonces es consistente. Y a partir del
teorema de la completud( I= implica I ) se puede demostrar que si un conjunto es
consistente, entonces es satisfactible. (En resumen, un conjunto de frmulas es consistente si
y slo si es satisfactible).
Ms an: Este resultado es equivalente a correccin y completud; si aceptsemos como
sabido que consistente si slo si satisfactible, a partir de eso se puede demostrar correccin y
completud.
Ejemplo: Es consistente el conjunto = {R2(a, b), x Q1(y)}?
S, porque es satisfactible. Por ejemplo, para interpretacin:
M= {U =nmeros naturales
=2
~
b =3

1 = ser par
2 = este nmero es mayor que este nmero
MODELO DE TEORAS:
[30] Definicin: Sea L un lenguaje, y sea un conjunto de oraciones de L. Una interpretacin
M para L ser llamada modelo de si es modelo de cada oracin de (es decir, si

I= para

cada ). Notacin: M I= .
[31] Definicin: Si es un lenguaje de oraciones, la notacin Mod() denotar la clase de
todos los modelos de .

[32] Definicin:
[33] Notacin/Observacin:
[34] Definicin:
[35] Definicin: