L

ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

LOGICA
PROPOSICIONAL (LP)
At
omo: Un
atomo es una proposici
on simple. Por
ejemplo:
P: el l
apiz verde, P es un
atomo.
Los conectivos l
ogicos que sirven para establecer
las proposiciones compuestas son v (no), (y),
(o), (si . . . entonces) y el bicondicional (si y
s
olo si), todos estos forman un alfabeto junto con
las variables proposicionales y los par
entesis sea
= {v, , , , , (, ), P, Q, R, S . . .}
1. SINTAXIS
1.1 F
ormula bien formada (FBF)
Una f
ormula en la LP es una f
ormula bien formada
si se define de manera recursiva as:
1. Un
atomo es una f
ormula.
2. Si G es una f
ormula, entonces (v G) es una
f
ormula.
3. Si G y H son f
ormulas, entonces (GH),(GH),
(G H), y (G H) son f
ormulas.
4. Todas las f
ormulas en la LP son generadas por
la aplicaci
on de las anteriores reglas.
Ejemplo 1. (Q v) y (G H) v P no son fBF o
f
ormulas en la l
ogica proposicional.
1.2 Interpretaci
on en la l
ogica proposicional.
Es la asignaci
on de valores de verdad al conjunto
de
atomos de una f
ormula.
Def. formal: Dada una f
ormula proposicional G,

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

sea A1 , A2 , . . . , An sean
atomos ocurridos en G. Entonces una interpretaci
on I de G es una asignaci
on
de valores de verdad para A1 , A2 , . . . , An en la cual
todo Ai es verdadero V o F (falso), pero no ambos.
Si hay n
atomos distintos en una f
ormula entonces
n
existen 2 interpretaciones.
Ahora sea A1 , A2 , . . . , An
atomos ocurridos en una
f
ormula G entonces es m
as conveniente representar una interpretaci
on I por un conjunto {m1 , m2 , . . . , mn}
donde mi es Ai o v Ai
Ejemplo 2. Sea G , (P Q) v Q entonces una
interpretaci
on {P, Q} es respectivamente {F, F } donde
el valor de verdad de la f
ormula G bajo esta interpretaci
on es verdedara. Tambi
en podemos decir
2
que G tiene 2 = 4 interpretaciones.
a)Negaci
on
(v P ) es verdadero cuando P es falso. y es falso cuando P es verdadero. (v P ) es llamada la
negaci
on de P
P: Juan es conciso
P: Juan no es conciso
b) Implicaci
on l
ogica
P Q es falsa si P es verdadera y Q es falsa, de
otra forma, P Q es verdadera. Sea P Q se
lee:
Si P,Q
Q, si P
P s
olo si Q

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

P implica Q
P es una condici
on suficiente para Q
P es suficiente para Q
Una condici
on suficiente para Q es P
Q con tal que P
Q es una condici
on necesaria para P
Q es necesaria para P
Una condici
on necesaria para P es Q
Q, Cuando P
Q siempre que P
por ejemplo:
1. Mara ser
a una buena estudiante si estudia mucho
esta proposici
on es de la forma P Q
donde:
P: Mara estudia mucho
Q: Mara ser
a una buena estudiante
2. Juan puede cursar c
alculo s
olo si est
a en segundo o tercer a
no de licenciatura.
esta proposici
on es de la forma P (Q R)
donde:
P: Juan puede cursar c
alculo
Q: Juan est
a en segundo a
no de licenciatura
R: Juan est
a en tercer a
no de licenciatura
3. Una condici
on necesaria para que la selecci
on
Colombia gane un campeonato mundial es que
consiga un buen t
ecnico.
esta proposici
on es de la forma P Q
donde:
P: La selecci
on Colombia gane un campeonato
Q: La selecci
on colombia consiga un buen t
ecnico

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

4. Una condici
on suficiente para que Diego visite a Santa Marta es que vaya a Cartagena.
esta proposici
on es de la forma P Q
donde:
P: Diego vaya a Cartagena
Q: Diego visite a Santa Marta
c) Conjunci
on
P Q es verdadero si P y Q son verdaderos; de
otra forma P Q es falso. sEA P Q se lee:
P y Q
Ambos P y Q
P, pero Q
aunque P, Q
P as como tambi
en Q
P a pesar de que Q
d) Disyunci
on
P Q es verdadero si al menos uno de los dos (P
o Q) es verdadero. de otra forma P Q es falso.
sEA P Q se lee:
P o Q
Cualquiera P o Q
P a menos que Q
e)Bicondicional
P Q es verdadero cuando P y Q tienen el mismo
valor de verdad de otra forma P Q es falsa. sEA
P Q se lee:
P si y s
olo si Q
P es equivalente a Q
P es necesaria y suficiente para Q

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

P Q es P s
olo si Q y Q s
olo si P
2. VALIDEZ E INCONSISTENCIA
Ejemplo 3. sea la f
ormula
G , ((P Q) P ) Q
podemos decir que tiene dos
atomos P y Q y que
es una tautolog
a por que para las 22 interpretaciones es verdadero, esto lo podemos comprobar
a trav
es de una tabla de verdad.

Ejemplo 4. Considere la f
ormula
G , (P Q) (P v Q)
podemos decir que tiene dos
atomos P y Q y que
es una contradicci
on por que para las 22 interpretaciones es falso, esto lo podemos comprobar
a trav
es de una tabla de verdad.

Definici
on 1. Una f
ormula se dice que es v
alida
si y s
olo si es verdadera para todas las interpretaciones.
Definici
on 2. Una f
ormula se dice que es inconsistente
(o insatisfactible) si y s
olo si es falso para todas
las interpretaciones.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Definici
on 3. Una f
ormula es inv
alida si y s
olo
si hay al menos una interpretaci
on que es falsa.
Definici
on 4. Una f
ormula es consistente (o SATISFACTIBLE) si y s
olo si hay al menos una interpretaci
on que es verdadera.
Ejemplo 5. Usando las tablas de verdad tambi
en
podemos ver que:
a.(P v P ) es inconsistente; por lo tanto es inv
alido.
b.(P v P ) es v
alido; por lo tanto es satisfactible.
c. (P v P ) es inv
alido y tambi
en consistente.
Definici
on 5. Si una f
ormula F es verdadera bajo
una interpretaci
on I, entonces decimos que I satisface a F, o que F es satisfecha por I. De otra
forma decimos que si una f
ormula F es falsa bajo
una interpretaci
on I, decimos que I falsifica a F o
que F es falsificada por I.
Definici
on 6. Cuando una interpretaci
on I satisface a una f
ormula F, I es tambi
en llamado modelo.
Ejemplo 6. Sea la f
ormula (P v P ) decimos que
la interpretaci
on {P }, {F } es decir P=F, es un
modelo por que (F V ) = V
2.1 Formas normales en la l
ogica proposicional Es
necesario transformar una f
ormula proposicional a
una forma normal, existen dos formas normales:
La Forma Norma Disyuntiva (FND) y la Forma

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Normal Conjuntiva (FNC)

Antes de formalizar las formas normales definamos
algunas equivalencias l
ogicas:
1. F H = (F G) (G F )
2. (F G) =v F G
3.a F G = G F
3.b F G = G F
4.a (F G) H = F (G H)
4.b (F G) H = F (G H)
5.a F (G H) = (F G) (F H)
5.b F (G H) = (F G) (F H)
6.a F = F F
6.b F = F F
7. v (v F ) = F
8.a v (F G) =v F v G
8.b v (F G) =v F v G
9.a H V = V
9.b H f = H
10.a H V = H
10.b H F = F
11.a H v H = V
11.b H v H = f
Definici
on 1. Un literal es un
atomo o la negaci
on del
atomo.
Definici
on 2. Una f
ormula F se dice que est
a en
la forma normal conjuntiva (FNC) si y s
olo si F
tiene la forma F , F1 F2 . . . Fn, n 1, donde
cada Fi es una disyunci
on de literales.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Definici
on 3. Una f
ormula F se dice que est
a en
la forma normal disyuntiva (FND) si y s
olo si F
tiene la forma F , F1 F2 . . . Fn, n 1, donde
cada Fi es una conjunci
on de literales.
Ejemplo 7. Sea la siguiente f
ormula
G , (v P Q) (P v Q v R)
est
a en la Forma normal disyuntiva, donde:
(v P Q) es una conjunci
on de literales.
(P v Q v R) es una conjunci
on de literales.
Ejemplo 8. obtener la forma normal disyuntiva para
la f
ormula
(P v Q) R
(P v Q) R =v (P v Q) R
(P v Q) R = (v P v (v Q)) R
(P v Q) R = (v P Q) R
como vemos (v P Q) y R son una conjunci
on
de literales adem
as R = R R
Ejemplo 9. Obtener la forma normal conjuntiva
para la f
ormula
(P (Q R)) S
3. CONSECUENCIA LOGICA
Definici
on 1. Dadas las f
ormulas F1 , . . . , Fn y la
f
ormula G, G se dice que es consecuencia l
ogica de
F1 , . . . , Fn si y s
olo si para cualquier interpretaci
on
I en la cu
al F1 F2 . . . , Fn es verdadera, G tambi
en
lo es. F1 , . . . , Fn son llamados axiomas (o postulados o premisas de G)

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 10. Sea el siguiente argumento l

ogico:
Suponga que el stock de precios baja si la prima
de inter
es sube. Suponga tambi
en que la mayora
de la gente es infeliz cuando el stock de precios
baja. Asuma que la prima de inter
es sube. Muestre
que usted puede concluir que la mayora de gente
es infeliz.
P , la prima de inter
es sube.
S , El stock de precios baja.
U , la mayora de gente es infeliz.
Por lo tanto hay cuatro declaraciones:
1) si la prima de inter
es sube, el stock de precios
baja.
2) Si el stock de precios baja, la mayora de la
gente es infeliz.
3) la prima de inter
es sube.
4) la mayora de la gente es infeliz.
Estas declaraciones son simbolizadas as:
1) P S
2) S U
3) P
4) U
Por lo tanto el argumento l
ogico se puede traducir
en:
((P S) (S U ) P ) U
Mostraremos que si (P S) (S U ) P es verdadero entonces U debe ser verdadero.
(P S) (S U ) P =(v P S) (v S U ) P
=P (v P S) (v S U )
=((P v P ) (P S)) (v S U )
=(F (P S)) (v S U )

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

=(P S) (v S U )
=(P S v S) (P S U )
=(P F ) (P S U )
=F (P S U )
=P S U
Si se supone que (P S) (S U ) P es verdadero entonces P S U es verdadero por lo tanto
P,S y U DEBEN ser verdaderas y se concluye que
U es VERDADERA.
U es llamada una CONSECUENCIA LOGICA DE
(P S), (S U ) y P
Ahora podemos demostrar que la consecuencia
l
ogica por los conceptos de validez e inconsistencia.
Teorema 3.1 Dadas las f
ormulas F1 , . . . , Fn y la f
ormula G, G es consecuencia l
ogica de F1 , . . . , Fn si y
LIs
olo si la f
ormula (F1 F2 . . . Fn) G) es VA
DA.
Teorema 3.2 Dadas las f
ormulas F1 , . . . , Fn y la f
ormula G, G es consecuencia l
ogica de F1 , . . . , Fn si y
s
olo si la f
ormula (F1 F2 . . . Fn v G) es INCONSISTENTE (O INSATISFACTIBLE).
Definici
on Si G es una consecuencia l
ogica de
F1 , . . . , Fn la f
ormula (F1 F2 . . .Fn) G) es llamada TEOREMA, donde G es llamada la conclusi
on
del teorema y F1 , . . . , Fn las premisas.
Ejemplo 11. Demostrar por el concepto de validez

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

que U es una consecuencia l

ogica de
(P S) (S U ) P .
por el teorema 3.1 hay que demostrar que ((P
S) (S U ) P ) U es V
alido, es decir por
manipulaci
on algebraica hay que demostrar que se
llega a un V (verdadero).
((P S) (S U ) P ) U
= ((v P S) (v S U ) P ) U
= (P (v P S) (v S U )) U
= (((P v P ) (P S)) (v S U )) U
= ((F (P S)) (v S U )) U
= ((P S) (v S U )) U
= ((P S v S) (P S U )) U
= (F (P S U )) U
= (P S U ) U
=v (P S U ) U
=v P v S v U U
= V
POR LO TANTO se llega a un Verdadero y el
LIDO.
argumento es VA
Ejemplo 12. Demuestre por inconsistencia que F2
es consecuencia l
ogica de F1, donde:
F1: Tom no puede ser buen estudiante a menos
que sea listo y su padre lo ayude.
F2: Tom es buen estudiante s
olo si su padre lo
ayuda.
Simbolizando el argumento tenemos:
F 1 , (v P (Q R))
F2 , P R
Hay que demostrar que F 1 v F 2 es FALSA

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

(v P (Q R)) v (P R)
= (v P (Q R)) v (v P R)
= ((v P Q) (v P R)) (P v R)
= (v P Q) (v P R) (P v R)
Como v (P v R) = (v P R), entonces reemplazando
= (v P Q) v (P v R) (P v R)
= (v P Q) F
=F (FALSO)
Por lo tanto como se demostr
o que la f
ormula es
falsa entonces por inconsistencia F2 es consecuencia l
ogica de F1.
Ejercicio propuesto 1. Demostrar que F2 es consecuencia l
ogica de F1:
a) Por la definici
on de consecuencia l
ogica.
b) Por el concepto de validez.
Ejercicio propuesto 2. Considere las siguientes f
ormulas:
F 1 , (P Q)
F 2 ,v Q
G ,v P
Demuestre que G es consecuencia l
ogica de F1 y
F2 por:
a) la definici
on de consecuencia l
ogica.
b) el concepto de validez.
c) el concepto de inconsistencia.
Ejercicio propuesto 3. Considere las siguientes f
ormulas:
F 1 , (P (v Q (R S))

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

F2 , P
F 3 ,v S
Demuestre que v Q es consecuencia l
ogica de F1,
F2 y F3 por:
a) la definici
on de consecuencia l
ogica.
b) el concepto de validez.
c) el concepto de inconsistencia.
Ejercicio propuesto 4. Demuestre que (v Q v
P ) (contrarecproca) es una consecuencia l
ogica
de (P Q) por:
a) la definici
on de consecuencia l
ogica.
b) el concepto de validez.
c) el concepto de inconsistencia.
A (v Q v P ) se le llama la contrarecproca de
(P Q)
Ejercicio propuesto 5. Demuestre que la inversa
de (P Q) es una consecuencia l
ogica de (Q P )
por:
a) la definici
on de consecuencia l
ogica.
b) el concepto de validez.
c) el concepto de inconsistencia.
A (v P v Q) se le llama la inversa de (P Q) y
(Q P ) es la recproca de (P Q).
4. RESOLUCI
ON EN L
OGICA PROPOSICIONAL
El principio de resoluci
on de Robinson nos sirve
para testear si un conjunto S es insatisfactible.
Definici
on 1. Una cl
ausula
finita de cero o m
as literales.

es una disyunci
on

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 13. La cl
ausula C = P Q v R
Definici
on 2. Un conjunto S de cl
ausulas es una
conjunci
on de todas las cl
ausulas en S.
Ejemplo 14. S = (P Q v R) (P v Q) v
P RU
Definici
on 3. La cl
ausula vaca denotada por 2
es la cla
usula que tiene cero literales y se da por
la deducci
on de un conjunto de cl
ausulas en S.
Ahora la deducci
on o derivaci
on de una cl
ausula C se puede dar a partir una secuencia finita de
cl
ausulas en S.
Definici
on 4. Para cualquiera dos cl
ausulas C1 y
C2 , si hay un literal L1 en C1 que es complementario a L2 en C2 , entonces borramos L1 y L2 de C1
y C2 . Y la cl
ausula construida es el RESOLVENTE
de C1 y C2 .
Ejemplo 15. sea C1 = P
C2 =v P Q.
Entonces el resolvente de C1 y C2 es Q, por que
P y v P son literales complementarios.
Ejemplo 16. sea C1 = P R
C2 =v P Q.
Entonces el resolvente de C1 y C2 es R Q, por
que P y v P son literales complementarios.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 17. sea C1 =v P Q

C2 =v P R.
Dado que no hay un literal en C1 que sae complementario con un literal en C2 , no existe RESOLVENTE de C1 y C2 .
Definici
on 5. Si tenemos dos cl
ausulas unitarias
y estas son complementarias entonces el RESOLVENTE es la cl
ausula vaca 2.
TEOREMA 4.1 Dadas dos cl
ausulas C1 y C2 , un resolvente C de C1 y C2 es una CONSECUENCIA LOGICA
de C1 y C2 .
Ejemplo 18. sea C1 = P R
C2 =v P Q.
Entonces el resolvente de C1 y C2 es R Q. por
el teorema 4.1 podemos decir que R Q es una
consecuencia l
ogica de (P R) y (v P Q). Por lo
tanto podemos demostrar que la f
ormula
LIDA.
((P R) (v P Q)) (R Q) es VA
((P R) (v P Q)) (R Q)
=v ((P R) (v P Q)) (R Q)
=v (P R) v (v P Q)) (R Q)
= (v P v R) (P v Q) (R Q)
= (v P v R) ((R Q P ) (R Q v Q))
= (v P v R) (R Q P )
= ( v P R Q P ) (v R R Q P )
= V V =V
Definci
on 5. (Principio de Resoluci
on). Si S contiene 2, entonces S es insatisfactible.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Teorema 4.2 Sea S un conjunto de cl

ausulas. Si
S es insatisfactible, entonces hay una deducci
on
de la cl
ausula vaca 2,
Teorema 4.3 (Completitud del principio de resoluci
on)
Un conjunto S de cl
ausulas es insatisfactible si y
s
olo si hay una deducci
on de la cl
ausula vaca 2
de S.
Ejemplo 19. Tomemos la f
ormula ((P R) (v
P Q)) (R Q) que es v
alida y demostremosla
por resoluci
on.
1) plantear la f
ormula para demostrar si es inconsistente, es decir de la forma: (P R)(v P Q) v
(R Q)
2) Transformar la f
ormula a la forma normal conjuntiva.
(P R) (v P Q) v R v Q
3) Obtenemos el conjunto S de clausulas de la forma normal conjuntiva:
S = {P R, v P Q, v R, v Q}
4) aplicamos el principio de resoluci
on buscando
la cl
ausula vaca 2 en S.
(1)P R
(2)v P Q
(3)v R
(4)v Q
Tomamos (1) y (2) y obtenemos el resolvente RQ
(5)
ahora de (5) y (3) obtenemos el resolvente Q (6)
y por
ultimo de (4) y (6) se deduce 2 POR LO

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

TANTO (P R) (v P Q) v (R Q)
es inconsistente y (R Q) es una CONSECUENCIA LOGICA DE (P R) y (v P Q).
Ejemplo 20. Demuestre por resoluci
on que F2 es
una consecuencia l
ogica de F1
F1 : Tom no puede ser buen estudiante a menos
que sea listo y su padre lo ayude.
F2 : Tom es buen estudiante s
olo si su padre lo
ayuda.
1) tranformamos los argumentos a variables proposicionales:
F1 ,v P (Q R)
F2 , P R
hay que demostrar que v P (Q R) v (P R)
es inconsistente
2) transformar la f
ormula a la forma normal conjuntiva.
(v P Q) (v P R) P v R
3) El conjunto S = {v P Q, v P R, P, v R}
4) Aplicamos el principio de resoluci
on buscando
deducir la cl
ausula vaca 2
(1)v P Q
(2)v P R
(3)P
(4)v R
DE (2) y (3) obtenemos el resolvente R (5)
De (4) y (5) obtenemos el resolvente 2
Como se deduce la cl
ausula vaca 2 entonces v
P (Q R) v (P R) es INCONSISTENTE por

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

lo tanto P R es una CONSECUENCIA LOGICA

DE v P (QR) y adem
as v P (QR) (P R)
es VALIDO.
5. APLICACIONES (LOGICA Y OPERACIONES CON BITS)
Un bit tiene dos posibles valores 0 y 1.
Un bit puede ser representado por valor de
verdad V o F es decir 1 representa V y 0
representa F.
Una variable es llamada variable Booleana si
su valor es F o V.
Definici
on 1. Un cadena de strings es una secuencia de cero o m
as bits. La longitud de la cadena es el n
umero de bits en la cadena.
Definici
on 2. La cadena vaca es la cadena que
no tiene bits. y su longitud es cero.
Ejemplo 21. La cadena 1001101 tiene longitud 7.
5.1 Operaciones con bits
Corresponden a los conectivos l
ogicos.
Tablas para el Bit: OR, AND y XOR
x
y
xy
xy
xy
1
1
1
1
0
1
0
1
0
1
0
1
1
0
1
0
0
0
0
0

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 22. Econtrar el OR, AND y XOR para las

cadenas 111001111 y 001100111.
111001111
001100111
111101111 OR
001000111 AND
110101000 XOR
5.2 Compuertas NOR() y NAND(|)
La f
ormula p NAND q es verdadera cuando p o
q, o ambas son falsas y es falsa cuando p y q
son verdaderas. La f
ormula p NOR q es verdadera
cuando tanto p como q son falsas y en cualquier
otro caso falsa. Las nuevos conectivos p NAND q
y p NOR q se denotan respectivamente p | q(barra
de Sheffer) y p q (Flecha de Pierce).
x

x NOR y

1
1
0
0

1
0
1
0

0
0
0
1

x NAND
y
0
1
1
1

Ejemplo 23. Mostrar que p | q y p | q son equivalentes.

p|q=p|q
v (p q) =v (q p)
Como p q = q p
entonces v (p q) =v (p q)

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 24. Mostrar que (p q) (p q) es l

ogicamente equivalente a (p q)
(p q) (p q) =v (v (p q) v (p q)))
(p q) (p q) =v (v (p q))
(p q) (p q) = p q
Ejemplo 25. Demostrar que el operador l
ogico | no
es asociativo.
( demostrar que p | (q | r) 6= (p | q) | r)

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

LOGICA DE PRIMER ORDEN (LPO)

Ejemplo 1. Traducir los siguientes argumentos a
la l
ogica de primer orden
a) Todo hombre es mortal
dado que Confucius es un hombre, el es mortal.
(x)(H(x) M (x))
H(Conf ucius) M (Conf ucius)
b) Existe un entero que es mayor que 100 que
es una potencia de 2.
(x)(M (x, 100) P (x, 2))
No todos los enteros mayores que 100 son potencia de 2. s
olo ALGUNOS.
c) Para todo entero n la suma de los n enteros
positivos es n(n+1)/2.
(n)(i)(ni=1 i =

n(n+1)
)
2

d) Algunos leones no toman caf

e.
(x)(P (x) v R(x))
e) No hay p
ajaros grandes que liben n
ectar.

v (x)(Q(x) R(x))
1. SINTAXIS
Nosotros para representar la sentencia x es m
as
grande que 3definimos un predicado MAYOR(x,y)

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

que significa x es mayor que y(Note que un predicado es una relaci

on), entonces la sentencia puede
ser representada por MAYOR(x,3).
De la misma forma podemos representar x AMA a
y con el predicado AMA(x,y) donde x,y son variables y AMA(Jos
e, Mary) donde Jos
e y Mary son
constantes.
Nosotros tambi
en podemos representar una funci
on en la LPO. por ejemplo x+ypueder ser representado por sum(x, y), donde sum es la funci
on,
tambi
en el sucesor de x es una funci
on su(x)
1.1 Notaci
on Podemos notar las constantes, variables, predicados y funciones a trav
es de un alfabeto.
a) Las constantes usualmente se denotan por nombres de objetos 3, Mary, Jos
e.
b) Las variables se denostan por letras min
usculas
x,y,x....
c) Las funciones se denotan por letras minpusculas sum, su
d) Los predicados se denotan por letras may
usculas MAYOR, H.
Definici
on 1. Los t
erminos son definidos recursivamente como sigue:
Una constante A es un t
ermino.
Una variable A es un t
ermino.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Si f es una funci
on y t1 , t2 , . . . tn son t
erminos,
entonces f (t1 , . . . , tn) es un t
ermino.
Todos los t
erminos son generados por la aplicaci
on de las anteriores reglas.
Definici
on 2. Si P es un predicado y t1 , t2 , . . . tn son
t
erminos, entonces P (t1 , t2 , . . . tn) es un
atomo.
Ejemplo 2. Traducir los siguientes axiomas a la
LPO
a) El sucesor de un n
umero es un n
umero.
N(x): x es un n
umero
su(x): sucesor de x.
N (x) N (su(x))
b) Todo n
umero racional es un n
umero real.
Q(x): x es un n
umero racional
P(x): x es un n
umero real
Entonces la sentencia es simbollizada as :
(x)(Q(x) P (x))
c) Existe un n
umero que es un primo.
P(x): x es un n
umero primo.
Entonces la sentencia es simbollizada as :
(x)P (x)
d) Para todo n
umero x, existe un n
umero y tal
que x < y.
MENOR(x,y): x es menor que y.
(x)(y)M EN OR(x, y)

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

e) Los n
umeros con el mismo sucesor son identicos.
E(x, y): x es igual a y
(N (x) N (y) E(su(x), su(y))) E(x, y)
f) La suma es conmutativa.
E(x, y): x es igual a y
sum(x, y): x + y
E(sum(x, y), sum(y, x))
g) Para todo x, y R | x + y = y + x
(x)(y)(E(sum(x, y), sum(y, x)))
h) Algunos naturales son pares.
(x)(N (x) P (x))
Definici
on 3. Una ocurrencia de una variable en
una f
ormula es ligada si y s
olo si la ocurrencia
se encuentra dentro del alcance del cuantificador
en la f
ormula. Una ocurrencia de una variable es
libre si y s
olo si
esta ocurrencia no es ligada.
Ejemplo 3. (x)P (x, y) x es una variable ligada y
y es una variable libre.
Ejemplo 4. (x)P (x, y) (x)Q(y) y es una variable libre y ligada a la vez.
Definici
on 4. Las F
ormulas bien formadas en la
l
ogica de predicados se definen recursivamente como sigue:
Un
atomo es una f
ormula.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Si F y G son f
ormulas, entonces v (F ),(F
G),(F G),(F G) y (F G) son f
ormulas.
Si F es una f
ormula y x es una variable libre
entonces (x)F y (x)F son f
ormulas.
Las f
ormulas son generadas s
olo por la aplicaci
on de las reglas anteriores.
Ejemplo 5. Traducir a la l
ogica de primer orden
los siguientes axiomas.
A1 : Para todo n
umero, existe uno y s
olo un inmediato sucesor.
funciones a usar:
f (x): sucesor de x
Predicado a usar:
E(x, y): x igual a y
0

A1 : (x)(y)(E(y, f (x))(z)(E(z, f (x)) E(y, z)))

A2 : No Existe un n
umero para el cu
al 0 es el inmediato superior.
funciones a usar:
f (x): sucesor de x
Predicado a usar:
E(x, y): x igual a y
0

A2 :v ((x)E(0, f (x)))

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

A3 : Para todo n
umero diferente de 0, existe uno y
s
olo un inmediato predecesor.
funciones a usar:
g(x): predecesor de x
Predicado a usar:
E(x, y): x igual a y
0

A3 : (x)(v E(x, 0) ((y)(E(y, g(x))(z)(E(z, g(x))

E(y, z)))))
2. INTERPRETACION EN LA L
OGICA DE PREDICADOS
En la l
ogica proposicional una interpretaci
on es
una asignaci
on de valores de verdad a los
atomos.
Al contrario de la l
ogica proposicional en la LPO
se deben especificar dos elementos: el dominio y
la asignaci
on a constantes, variables, funciones y
predicados.
Definici
on 1. Una interpretaci
on de una f
ormula
F en la LPO consiste de un dominio D no vaco y
una asignaci
on de valores a cada constante, variables, funciones y predicados en F como sigue:
1. Para cada constante, nosotros asignamos un
elemento en D.
2. Para cada funci
on, nosotros asignamos desn
de D a D (note que Dn = {(x1 , . . . , xn)/x1
D, . . . , xn D})
3. Para cada predicado nosotros asignamos desde
Dn a {V, F }

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Definici
on 2. Para toda interpretaci
on de una f
ormula sobre un dominio D, la f
ormula puede ser evaluada V(verdadera) o F (falsa) seg
un las siguientes
reglas:
1. Si los valores de verdad de las f
ormulas G y
H son evaladas, entonces los valores de verdad de
las f
ormulas (G H),(G H), (G H), y (G H)
son evaluados usando las tablas de verdad usadas
en la l
ogica proposicional.
2. (x)G es evaluada como V si el valor de verdad de G es evaluado como V para toda d D, de
otra manera es evaluado como F.
3. (x)G es evaluado como V si el valor de verdad de G es V para al menos un d D; de otra
manera es evaluado como F.
Ejemplo 6. Considere las siguientes f
ormulas
(x)P (x) y (x) v P (x)
Definimos una interpretaci
on para ambas f
ormulas
( en este caso el predicado P debe tener asignaci
on):
Dominio: D = {1, 2}
Asiganciones para el predicado P:
P(1) P(2)
V
F

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

La primera f
ormula (x)P (x) para que sea verdadera todos los x del dominio deben ser verdaderas bajo el predicado P. pero podemos observar que (x)P (x) es F por que P(2)=F.
la segunda f
ormula (x) v P (x) es V en esta interpretaci
on, por que al menos existe un elemento
en el dominio x=2 de tal forma que v P (2) es V.
Ejemplo 7. Considere la siguiente f
ormula:
(x)(y)P (x, y)
y la interpretaci
on:
D = {1, 2}
P(1,1) P(1,2) P(2,1) P(2,2)
V
F
F
V
Si x=1, nosotros podemos ver que existe un y tal
que P(1,y) sea V. y lo hay cuando y=1, es decir
P(1,1) es V.
Si x=2, debe existir un y tal que P(2,y) sea V, y
lo hay cuando y=2, es decir P(2,2) es V.
Por lo tanto como para todo x D existe un y tal
que la f
ormula P(x,y) es V entonces (x)(y)P (x, y)
es V.
Ejemplo 8. Considere la f
ormula:
G , (x)(P (x) Q(f (x), a))
Encontrar el valor de verdad de G.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Sea el dominio D = {1, 2} y la asignaci

on para
la constante a=1
asignaciones para f :
f(1)
2

f(2)
1

Las asignaciones para los predicados P y Q:

P(1)
F

P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2)

V
V
V
F
V

Se debe verificar para todo x en el dominio que G

es verdadera
Si x=1, entonces
P (x) Q(f (x), a) = P (1) Q(f (1), a)
P (x) Q(f (x), a) = P (1) Q(2, 1)
P (x) Q(f (x), a) = F F = V
Si x=2, entonces
P (x) Q(f (x), a) = P (2) Q(f (2), a)
P (x) Q(f (x), a) = P (2) Q(1, 1)
P (x) Q(f (x), a) = V V = V
Por lo tanto dado que P (x) Q(f (x), a) es V para
todo x D entonces G , (x)(P (x) Q(f (x), a))
es V.
Ejercicio propuesto 1. Evalue el valor de verdad
para cada una de las siguientes f
ormulas.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

a) (x)(P (f (x)) Q(x, f (a)))

b) (x)(y)(P (f (x), y) Q(x, y))
c) (x)(y)(z)((P (x) Q(x, y)) R(x, z))
Tome como interpretaci
on al dominio D = {1, 2},
a=1 y las siguientes asignaciones para f :
f(1)
2

f(2)
1

Las asignaciones para los predicados P y Q:

P(1)
F

P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2)

V
V
V
F
V
R(1,1) R(1,2) R(2,1) R(2,2)
V
V
V
V

3. VALIDEZ E INCONSISTENCIA EN LA LOGICA DE PREDICADOS

Todos los conceptos de validez, inconsistencia, invalidez y satisfactibilidad se definen an
alogamente
como en la l
ogica proposicional.
Definici
on 1. Una f
ormula G es satisfactible si
y s
olo si existe una interpreatci
on I tal que G es
evaluado V en I.
Definici
on 2. Una f
ormula G es insatisfactible
si y s
olo si no existe una interpretaci
on que satisfaga a G.
Ejemplo 9. Demostrar que G , (x)P (x) (y) v
P (y) es insatisfactible.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Se supone que G es verdadero y se llega a una

contradicci
on por lo tanto G debe ser inconsistente.
Bien entonces si (x)P (x) (y) v P (y) es V,
(x)P (x) es V para todo d D, P (d) es V
Ahora como G es V, (y) v P (y) es V, esto es
existe un un y D tal que v P (y) es V por tanto
por
P (y) es F ESTO ES UNA CONTRADICCION
que habiamos dicho que (x)P (x) es V POR LO
TANTO G debe ser FALSA y a su vez INCONSISTENTE.
Ejemplo 10. Demostrar que G , (x)P (x) (y)P (y)
es v
alido.
Ejemplo 11. Considere las siguientes f
ormulas:
F1 : (x)(P (x) Q(x))
F2 : P (a)
Demostraremos que Q(a) es una CONSECUENCIA LOGICA de F1 y F2
Consideremos cualquier interpretaci
on I que satisfaga a (x)(P (x) Q(x)) P (a).
Asumamos que P (a) es V y Q(a) es F en esta interpretaci
on entonces v P (a) Q(a) es decir P (a) Q(a) es F en I. esto significa que en I
(x)(P (x) Q(x)) es F. POR LO TANTO Q(a)
debe ser V para toda interpretaci
on que satisfaga
a (x)(P (x) Q(x)) P (a)
Esto significa que Q(a) es Consecuancia l
ogica de
F1 y F2 .

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

4. FORMA NORMAL DE PRENEX EN LA LPO

En la l
ogica proposicional nosotros introducimos
las dos formas normales: la forma normal conjuntiva y la forma normal disyuntiva. En la l
ogica de
primer orden, hay tambi
en una forma normal es la
forma normal de Prenex la raz
on principal de esta forma es la simplificaci
on de la f
ormula original.
Definici
on 1. Una f
ormula F en la l
ogica de primer
orden est
a en la Forma Normal de Prenex si y s
olo
si la f
ormula F est
a en la forma:
(Q1 x1 ) . . . (Qnxn)(M )
Donde todo (Qixi), i = 1, . . . , n es (xi) o (xi) y
M es una f
ormula que no contiene cuantificadores.
(Q1 x1 ) . . . (Qnxn) es llamado el prefijo de M y M es
la matriz de la f
ormula de F.
Ejemplo 12. Las siguientes f
ormulas est
an en la
forma normal de prenex:
a) (x)(y)(P (x, y) Q(x, y)
b) (x)(y)(v P (x, y) Q(x, y)
c) (x)(y)(z)(P (x, y) Q(z))
4.1 Propiedades para la transformaci
on a la forma
normal de Prenex.
1) v ((x)F (x)) = (x)(v F (x))
2) v ((x)F (x)) = (x)(v F (x))
Suponga que las f
ormulas F (x) y H(x) contienen
a x entonces:

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

3) (x)F (x) (x)H(x) = (x)(F (x) H(x))

4) (x)F (x) (x)H(x) = (x)(F (x) H(x))
Cuando aparece (x)F (x) (x)H(x) es decir la
disyunci
on con el cuantificador se debe hacer
cambio de variable.
5) (x)F (x) (x)H(x) = (x)F (x) (z)H(z)
= (x)(z)(F (x) H(z))
6) (x)F (x) (x)H(x) = (x)F (x) (z)H(z)
= (x)(z)(F (x) H(z))
Otras leyes retomadas de la l
ogica proposicional
son:
F H = (F H) (H F )
(F H) =v F H
v (v F ) = F
v (F H) =v F v H
v (F H) =v F v H
Ejemplo 13. Transformar la siguiente f
ormula
(x)P (x) (x)Q(x) a la forma normal de prenex.
(x)P (x) (x)Q(x) =v ((x)P (x)) (x)Q(x)
= (x)(v P (x)) (x)Q(x)
= (x)(v P (x) Q(x))
POR LO TANTO, la forma normal de prenex de
(x)P (x) (x)Q(x) es (x)(v P (x) Q(x))
Ejemplo 14. Obtener la forma normal de prenex
de la f
ormula:
(x)(y)((z)(P (x, z) P (y, z)) (u)Q(x, y, u))

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

= (x)(y)(v (z)(P (x, z)P (y, z))(u)Q(x, y, u))

= (x)(y)(z)(v (P (x, z) v P (y, z))(u)Q(x, y, u))
= (x)(y)(z)(u)(v P (x, z) v P (y, z)Q(x, y, u))
5. FORMA ESTANDAR DE SKOLEM.
La idea es la de eliminar el cuantificador existencial de la forma normal de prenex y sedebe tener
en cuenta:
1) La f
ormula se debe transformar a la forma normal de prenex.
2) La matriz no contiene cuantificadores y puede
ser tranformada a la forma normal conjuntiva.
3) Los cuantificadores existenciales deben ser eliminados.
Definici
on 1. Sea una f
ormula en la forma normal
de prenex (Q1 x1 ) . . . (Qnxn)(M ), donde M est
a en
la forma normal conjuntiva. Suponga que Qr es un
cuantificador existencial en el prefijo (Q1 x1 ) . . . (Qnxn),
1 r n entonces:
1) Si no hay cuantificador universal antes de Qr
entonces se elige una nueva constante c diferente
a otras constantes ocurridas en M y reemplazamos
todo xr en M por c y borramos Qr xr del prefijo.
2) Si Qs1 . . . Qsm son todos los cuantificadores universales antes de Qr , 1 s1 < s2 < sm < r, se
elige una nueva funci
on diferentes de las que hay
en M y reemplazamos todo xr en M por f (xs1 , xs2 , . . . , xs1 ),
y se borra (Qr xr ) del prefijo.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

Ejemplo 15. Obtener la forma est

andar de Skolem
de la f
ormula:
(x)(y)(z)(u)(v)(w)P (x, y, z, u, v, w)
1) En esta f
ormula como vemos, (x) no esta precedido por ning
un cuantificador universal, por tanto se reemplaza la variable x por una contante a y
borramos (x) .
(y)(z)(u)(v)(w)P (a, y, z, u, v, w)
2) (u) est
a precedido por (y) y (z) por tanto
reemplazamos la variable u por una funci
on f (y, z).
(y)(z)(v)(w)P (a, y, z, f (y, z), v, w)
3) Por
ultimo (w) est
a precedido por (y),(z) y
(v) por tanto se reemplaza la variable w por una
funci
on que no este en P, es decir g(y, z, v) y por
tanto la forma est
andar de Skolem queda as`:
(y)(z)(v)P (a, y, z, f (y, z), v, g(y, z, v))
Ejemplo 16. Obtener la forma est
andar de Skolem
de la siguiente f
ormula.
(x)(y)(z)((v P (x, y) Q(x, z)) R(x, y, z))
1) Se transforma M a la forma normal conjuntiva.
(x)(y)(z)((v P (x, y)R(x, y, z))(Q(x, z)R(x, y, z)))
2) obtenemos la forma est
andar de Skolem reemplazando y por una funci
on f (x) y se elimina (y).

(x)(z)((v P (x, f (x))R(x, f (x), z))(Q(x, z)R(x, f (x), z)))

3) y por
ultimo eliminamos (z) reemplazando z
por una funci
on g(x) en M.

L
ogica-E.I.S.C

Ra
ul Gutierrez de Pi~
nerez

(x)((v P (x, f (x))R(x, f (x), g(x)))(Q(x, g(x))

R(x, f (x), g(x))))
6. FORMA CLAUSULAR
Es importante obtener la forma clausular de la forma normal de Skolem.
Definici
on 1. Una cl
ausula es una disyunci
on finita de cero o mas literales.
Definici
on 2. Sea S el conjunto de cl
ausulas que
representan la forma est
andar de una f
ormula F.
Ejemplo 17. Sea la siguiente f
ormula en la forma
est
andar de Skolem
(x)((v P (x, f (x))R(x, f (x), g(x)))(Q(x, g(x))
R(x, f (x), g(x))))
Entonces el conjunto S tiene dos cl
ausulas
S = {v P (x, f (x)) R(x, f (x), g(x)), Q(x, g(x))
R(x, f (x), g(x))}
C1 =v P (x, f (x)) R(x, f (x), g(x))
C2 = Q(x, g(x)) R(x, f (x), g(x))
S = {C1 , C2 }
Ejemplo 18. obtener la forma clausular de:
(y)(z)(v)P (a, y, z, f (y, z), v, g(y, z, v))
S = {P (a, y, z, f (y, z), v, g(y, z, v))}