Logica Matematica

Notas de L
ogica
David Meza Alcantara
ticas, Universidad
Facultad de Ciencias Fsico-Matema
Michoacana de San Nicolas de Hidalgo

E-mail address: dmezaalcantara@gmail.com
Resumen. Las presentes notas de clase corresponden al curso de

L
ogica impartido por el autor durante el semetre 2011-2012 en la
Facultad de Ciencias Fsico-Matematicas de la UMSNH. Los temas
principales son L
ogica Proposicional y Logica de Predicados de Primer Orden. El curso esta pensado para estudiantes de los u
ltimos
semestres de la Licenciatura en Ciencias Fsico Matematicas, que
hayan llevado las materias de Teora de Conjuntos y Topologa, o
en general, que tengan suficiente madurez matematica.
Indice general
Motivacion
Introduccion
Captulo 1. Logica Proposicional

1. Lenguajes Proposicionales
2. Semantica de la Logica Proposicional
3. Teora de la prueba de la Logica Proposicional
9
10
14
34
Captulo 2. Logica de Predicados

1. Estructuras de Primer Orden
2. Lenguajes de Primer Orden
3. Semantica de la logica de primer orden
45
45
47
50
Motivaci
on
Popularmente se conoce a la logica como el arte de razonar correctamente, y se le incluye en el campo de la filosofa. En la actualidad la
logica es un area de estudio de gran amplitud, que llega incluso hasta
las ciencias de la computacion. El curso de Logica de la Licenciatura en
Ciencias Fsico Matematicas esta lejos de describir panoramicamente
los diferentes aspectos de la logica, sin embargo introduce al estudiante
en un area interesante, la logica matematica.
Por logica matematica entendemos la fundamentacion de algunas
formas de logica en terminos matematicos. Los lenguajes, sus interpretaciones, las formulaciones bien formadas, las demostraciones, los
teoremas, las teoras, se convierten en objetos matematicos naturales,
y con esto se puede hacer teora sobre estos, es decir, se puede reflexionar organizadamente y hacer teoremas como en cualquier otro ambito
matematico. Los metodos com
unmente empleados por los matematicos
encuentran un campo de accion en la logica. Algunas discusiones filosoficas se resuelven finalmente, de manera matematica: una polemica
puede ser finiquitada en la forma de un teorema matematico.
Por el contrario, las matematicas se fundamentan en la logica de dos
modos distintos: el modus operandi del matematico requiere que sus resultados se apeguen estrictamente a formas de razonamiento aceptadas
com
unmente. La logica es el arbitro que vigila que los razonamientos
sean correctos. Por otro lado, la Teora de Modelos es la constancia
de lo fructfero que resulta hacer enfasis en el lenguaje en el quehacer
matematico.
El curso de Logica que nos ata
ne consta de dos grandes temas: Logica Proposicional y Logica de Predicados de Primer Orden. La primera
es la que se ocupa de evaluar la veracidad de una formula en funcion de
los conectivos involucrados en ella. La segunda, ademas de los conectivos se ocupa de los cuantificadores sobre variables que se interpretan
entre los individuos de un universo. La primera tiene un alcance muy
limitado, pero una sencillez y belleza deslumbrantes. Su estudio es conveniente porque de modo sencillo revela los metodos usuales y los alcances de sus resultados. La segunda posee un lenguaje suficientemente
5
MOTIVACION
rico como para fundamentar una gran porcion de las matematicas contemporaneas. En ambos casos se estudian primordialmente las logicas
clasicas, aunque a modo de cultura general, se inspeccionan algunas
logicas no-clasicas, como la intuicionista y la paraconsistente.
Introducci
on
Siguiendo la definicion popular de logica, (Logica = el arte de razonar correctamente) podemos establecer las aspiraciones que un sistema
logico debe tener. En primer lugar, debe estar bien establecido que
frases, afirmaciones, enunciados, formulas estan suficientemente bien
formuladas como para ser calificadas como verdaderas o falsas. Con este
fin, en primer lugar se establece un lenguaje y se definen las formulas de
este lenguaje, con la intencion de que estas eventualmente sean calificables por su valor de verdad. Por ejemplo, hola, es una frase que tiene
un significado en el espa
nol, pero que no puede ser calificada en cuanto
a su veracidad. Sin embargo toda funcion complipausada en un intervalo cerrado es acomentosa, s puede ser calificada, naturalmente su
veracidad dependera de que se entienda por funcion complipausada,
intervalo cerrado y funcion acomentosa.
Algunas veces, una frase puede ser verdadera por su estructura logica mas que por su contenido. Por estructura logica se entiende la
disposicion de las partculas simbolicas que componen tal frase. A manera de ejemplo considere la siguiente frase:
Si toda funcion continua en un intervalo cerrado alcanza valores
maximo y mnimo, y la funcion seno es continua en el intervalo
cerrado [0,1], entonces la funcion seno alcanza valores maximo y
mnimo en [0,1].
Tal frase es verdadera independientemente de lo que entendamos
por funcion continua, intervalo cerrado, funcion seno, alcanzar maximo
y mnimo, pues al reemplazar estos terminos, por cualesquiera otros,
debemos aceptar su verdad. Para tal efecto podemos simbolizar la frase
anterior de la siguiente manera:
Si para cualesquiera f e I, C(f, I) implica M (f, I), y C(sen, [0, 1])
entonces M (sen, [0, 1]).
donde
C(f, I) significa f es continua en el intervalo I
M (f, I) significa f alcanza sus valores maximo y mnimo en I
sen representa a la funcion seno
7
INTRODUCCION
[0, 1] representa al intevalo [0, 1].

Intente el lector reinterpretar estos terminos y convenzase de aceptar la verdad de lo que resulte. Las logicas que estudiaremos, intentaran
caracterizar estas estructuras simbolicas que bajo cualquier interpretacion resultan ser verdaderas.
Otro aspecto a estudiar sera la nocion de consecuencia logica, tan
presente en la vida del matematico. Los matematicos estamos acostumbrados a demostrar teoremas en diferentes contextos. En terminos
precisos que es un teorema? que significa demostrar? Formalizaremos
matematicamente estas dos cuestiones, por un lado el enfoque sintactico, en el que la nocion de consecuencia logica viene establecida por
rigurosas reglas de manipulacion de smbolos; y el enfoque semantico,
que apela a la interpretacion de esos smbolos. Se revisaran las demostraciones de teoremas clasicos como el de completud - correctud y el de
compacidad en ambas logicas, y ademas se ejemplificaran algunas de
sus aplicaciones. Adicionalmente, en la parte de logica de predicados
estudiaremos los teoremas y las construcciones basicas de la Teora de
Modelos. Finalmente analizaremos varias teoras matematicas populares a la luz de lo aprendido en el curso.
Captulo 1
L
ogica Proposicional
La logica proposicional se ocupa de la verdad de formulas o validez
de razonamientos cuando esta depende de la disposicion de los conectivos involucrados. Un conectivo logico es una palabra o conjunto de
estas que vincula frases con el fin de construir nuevas frases. Considere
la siguiente frase como ejemplo:
(*) Llueve y hace fro
La palabra y vincula las frases Llueve y hace fro. El valor de
verdad de (*) depende de los valores de verdad de las frases conectadas: si ambas son verdaderas entonces (*) sera verdadera. Si una falla
entonces (*) falla. Si vinculamos estas dos frases con otro conectivo, el
significado cambia. Considere:
(**) Llueve o hace fro
El valor de verdad de (**) ahora se calcula de otro modo, pues para
ser verdadera es suficiente con que una de las dos partculas lo sea. En
conclusion, los conectivos logicos vincularan frases y dotaran de sentido
a una frase compuesta, en funcion del mismo conectivo y del valor de
verdad de las subfrases conectadas.
A partir de ahora nos daremos el lujo de introducir una tecnica
usual en matematicas: usar variables. Las letras P, Q, R,... representaran frases cualesquiera, es decir, actuaran como variables que recorren
el dominio de las frases en espa
nol que pudieran ser calificadas como
verdaderas o falsas.
Los conectivos mas usuales en el espa
nol son:
La conjuncion, cuya mas frecuente forma es a traves de la palabra y. De este modo, P y Q es verdadera exactamente en
el caso en que ambas, P y Q lo sean.
La disyuncion, cuya forma mas frecuente es en la palabra o.
As, la frase P o Q es verdadera exactamente en el caso en el
que al menos una de las dos, P o Q, lo sea. Esto claramente
incluye el caso en el que ambas lo son.
9

1. LOGICA
PROPOSICIONAL
10
La negacion, cuya forma mas frecuente es la palabra no, y que

no conecta pares de frases, sino frases individuales. no P es
verdadera exactamente en el caso en el que P es falsa.
El condicional, cuya forma mas usual es Si P entonces Q, y
que es verdadera cuando al ser P verdadera, Q tambien lo es.
Probablemente el lector quede insatisfecho con esta definicion,
para lo cual se debe aclarar que cuando P es falsa, la implicacion es verdadera, debido a que nuestra nocion de implicacion
en material : la conclusion esta comprometida solo en el caso en
el que el antecedente es verdadero.
En el espa
nol existen muchos otros que se pueden definir en terminos
de los anteriores. Por ejemplo, P a menos que Q, significa lo mismo
que si no Q entonces P.
Ejercicios 1. Para los siguientes conectivos del espa
nol, encuentre
una traduccion en terminos de conjunciones, negaciones, disyunciones
y condicionales.
1. P sin que Q
2. P a pesar de que Q
3. P solo si Q
4. P es necesario para que Q
5. P es suficiente para que Q
A continuacion daremos tratamiento matematico al estudio de la
logica proposicional, lo cual quiere decir que enmarcaremos el estudio
dentro de la teora intuitiva de conjuntos, y en consecuencia, los objetos
deberan ser tratados como usualmente se tratan los conjuntos.
1.
Lenguajes Proposicionales
La primera etapa en la matematizacion de la logica proposicional
consiste en dar tratamiento matematico a su lenguaje. Este

se construye a partir de los elementos mas basicos, los smbolos, que seran
unidades de lenguaje, en el sentido de que estos se consideraran indivisibles, es decir, se supondra que ninguno de estos esta formado por
otros smbolos. Los lenguajes proposicionales contienen los siguientes
smbolos:
Letras Proposicionales:
Las cuales estan en alg
un conjunto no-vaco P. Lo que de P podra ser relevante es su cardinalidad. Tpicamente usaremos las
letras P, Q, R, P1 , P2 , . . . como variables que recorren el conjunto de letras proposicionales.
1. LENGUAJES PROPOSICIONALES
11
Conectivos logicos:
Estos son negacion, disyuncion, conjuncion y condicional.
Smbolos auxiliares:
parentesis derecho ) e izquierdo ( .
Por expresion entenderemos cualquier sucesion finita de smbolos.
Un smbolo sera considerado a la vez, un atomo, y una expresion con
longitud 1 cuyo u
nico termino es el smbolo en cuestion. Si y son
expresiones, podemos construr una tercera expresion por yuxtaposicion
de estas, en el orden dado. Por ejemplo, de yuxtaponer la expresion
P R con RR resulta P RRR . Si y son expresiones,
denotara a la yuxtaposicion de con . No sobra decir que dos
expresiones se consideran iguales, si y solamente si lo son smbolo por
smbolo.
Las expresiones que podran calificarse de verdaderas o falsas, seran
llamadas formulas. Recursivamente se define el conjunto de formulas
proposicionales en el lenguaje P, denotado por (P) por:
1. 0 (P) = P
2. n+1 (P) es el mnimo conjunto de expresiones que contiene a
n y a todas las expresiones de las formas
()
( )
( )
( )
con y S
en n (P).
3. (P) = nN n (P).
La naturaleza recursiva de esta definicion provee un metodo de demostracion utilizable cuando deseamos demostrar propiedades acerca
de formulas.
Teorema 1.1 (Principio de Induccion sobre la Formacion de Formulas). Sea P una propiedad acerca de las expresiones de un lenguaje
proposicional. Si todas las letras proposicionales tienen la propiedad P
y cada vez que dos expresiones y la tienen, sucede que (), (),
() y ( ) tienen la propiedad P, entonces TODAS las formulas
tiene la propiedad P.
La demostracion queda como ejercicio al lector.
12
1. LOGICA
PROPOSICIONAL
Adicionalmente, es posible definir las interpretaciones de los lenguajes proposicionales en terminos de funciones, que a cada formula
asignen su significado. Los significados de las formulas deben pertenecer a un conjunto con suficiente estructura.
Teorema 1.2 (Principio de Recursion sobre Formulas). Sea P un
conjunto de letras proposicionales y sea B = hB, , u, t i una estructura algebraica donde es una operacion unitaria (de B en B) y
u, t y son operaciones binarias (de B B en B). Entonces, dada
una funcion v : P B, existe una u
nica funcion v : (P) B que
satisface:
v(P ) = v(P ), para toda P en P.
v(()) = v()
v(( )) = v() t v()
v(( )) = v() u v()
v(( )) = v() v()
La demostracion de este hecho tambien queda como ejercicio al
lector.
Ejemplo 1.3. Sea P = {P0 , P1 , P2 , . . . }, y definamos las siguientes
operaciones sobre los n
umeros enteros: : z 7 1 z
u : (z, w) 7 mn{z, w}
t : (z, w) 7 max{z, w}
: (z, w) 7 max{1 z, w}.
Con estas operaciones, si v : P Z esta dada por v(Pn ) = n entonces
P0 P5 P8 (P0 ) ((P0 ) P5 ) (((P0 ) P5 ) P8 )
v 0 5 8
1
1
8
Ejemplo 1.4. Note que las operaciones definidas en el ejemplo
anterior estan cerradas en el subconjunto {0, 1} de Z. Si ahora definimos
a v : P {0, 1} por
(
1 si n es par
v(Pn ) =
0 si n es impar
entonces evaluando la formula (((P0 ) P5 ) P8 ) tenemos
P0 P5 P8 (P0 ) ((P0 ) P5 ) (((P0 ) P5 ) P8 )
La inv 1 0 1
0
0
1
terpretacion clasica de la logica proposicional es precisamente la dada
por las operaciones del ejemplo anterior, en {0, 1}, reemplazando 1 por
verdadero y 0 por falso.
1. LENGUAJES PROPOSICIONALES
13
Una familia de estructuras donde de manera natural se puede interpretar la logica de proposiciones es la formada por las algebras potencia
de conjuntos.
Ejemplo 1.5. En P(N), la potencia de conjunto de n
umeros naturales, las siguientes operaciones estan definidas:
: X 7 N\X
u : (X, Y ) 7 X Y
t : (X, Y ) 7 X Y
: (X, Y ) 7 Y (N\X) (esta operacion se llama complemento de X
relativo a Y ).
Sea P = {P0 , P1 , P2 , ...} (como antes) y definamos v : P P(N)
por
v(Pn ) = {k N : n divide a k}.
entonces el lector puede verificar que
v((P2 (P0 P3 )) = {n : n = 0 o n no es m
ultiplo de 6}.
Ejercicios 2.
1. Demuestra el Principio de Induccion sobre la Formacion de Formulas (Teorema 1.1). Sugerencia: Induccion usual sobre N.
2. Demuestra por isff que toda formula tiene tantos parentesis izquierdos como derechos.
3. Demuestra por isff que toda formula que no es letra proposicional, empieza con un parentesis izquierdo y termina con un
parentesis derecho.
4. Demuestra por isff que ninguna formula contiene dos conectivos
ubicados consecutivamente.
5. Demuestra el Principio de Recursion sobre Formulas. Sugerencia: Para la existencia, haga lo usual. Considere la familia de
extensiones parciales de v i.e. la familia V de todas las funciones
de la forma w : C B tales que:
P C (P),
wP=v y
si (), ( ), ( ), ( ) C entonces , C, y
ademas,
w(()) = w(),
w(( ) = w() u w(),
w(( )) = w() t w() y
w(( )) = w() w().

1. LOGICA
PROPOSICIONAL
14
Pruebe por isff que si w1 y w2 estan en V , entonces para toda

formula en dom(w1 )dom(w2 ), w1 () = w2 (). Luego pruebe
(tambien por isff) que toda formula esta en el dominio de alguna
funcion en V . Finalmente, pruebe la unicidad por isff.
2.
Semantica de la L
ogica Proposicional
2.1. Tautologas e Implicaci

on L
ogica. Dos aspiraciones fundamentales de cualquier sistema logico son:
1. Establecer cuales son las formulas siempre verdaderas.
2. Establecer cuando una formula es mas verdadera que otra, o
que una familia de estas.
El el caso de la logica de proposiciones clasica, a las formulas que
tienen la propiedad 1 se les llama tautologas, mientras que 2 corresponde a la nocion de implicacion logica.
n 2.1. Sean P un conjunto de letras proposicionales y
Definicio
una formula proposicional en el lenguaje P. Decimos que es una
tautologia si para toda v : P {0, 1}, ocurre v() = 1.
Obviamente en la definicion de tautologa estamos considerando al
conjunto {0, 1} dotado con las operaciones descritas en el Ejemplo 1.3.
Se sugiere al lector verificar la lista de tautologas del Anexo 1.
n 2.2. Sean T (P) y (P). Decimos que T
Definicio
implica logicamente a si para cada v : P {0, 1} que cumpla que
para toda T , v() = 1, sucede que v() = 1. Denotaremos por
T |= el hecho de que T implica logicamente a .
Observe que |= equivale a que sea una tautologa, de ah que
la notacion |= significa es una tautologa. En el caso en que T este
formado por una sola formula, digamos , la notacion |= significara
{} |= .
Satisfecha la aspiracion 2 se tiene gratuitamente la nocion de equivalencia logica: dos formulas seran equivalentes si son verdaderas exactamente en los mismos casos, es decir si una implica logicamente a la
otra, y viceversa.
Se recomienda al lector ver ejercicios de la seccion para encontrar
mas propiedades de las relaciones de implicacion y equivalencia logica.
En terminos de implicacion logica se puede enunciar el primer teorema no-trivial del curso, el Teorema de Compacidad: si T |= entonces
existe T0 T finito tal que T0 |= . Demostraremos este resultado mas
adelante.

2. SEMANTICA DE LA LOGICA
PROPOSICIONAL
15
En general (i.e, en cualquier sistema logico) la aspiracion 1 se puede

conseguir simplemente al distinguir, de entre las formulas de un lenguaje a un subconjunto de estas. Por otro lado la aspiracion 2 se puede
conseguir ordenando (al menos parcialmente) a las interpretaciones de
las formulas. Ordenar parcialmente a las interpretaciones de las formulas tambien resuelve el punto 1, si consideramos como verdaderas a
las formulas mas verdaderas, es decir, aquellas cuyas interpretaciones
siempre son el maximo de un tal orden parcial.
Ejercicios 3. Sean P un conjunto de letras proposicionales, S, T
subconjuntos de (P), , (P).
1. Demuestre que si T S y T |= entonces S |= .
2. Demuestre que si para toda S, T |= y S |= , entonces
T |= .
3. Demuestre que |= si y solo si es una tautologa.
4. Demuestra que ( ) es logicamente equivalente a
( ) .
5. Demuestre que |= si y solo si |= ( ).
6. Demuestra que {1 , . . . , n } |= si y solo si |= (1 n )
.
7. Demuestra que si es tautologa y |= entonces es tautologa.
2.2. Algebras
Booleanas. Con dos propositos se presenta ahora la nocion de algebra booleana: Primero, establecer la escencia de la
interpretacion usual de los conectivos logicos, que se pierde al considerar solo dos valores de verdad. Segundo, poseer un lenguaje comodo en
el que se presenten teoremas importantes de manera sencilla.
n 2.3. Una retcula es un conjunto parcialmente ordenaDefinicio
do P = hP, i tal que para cualesquiera p, q P , el par {p, q} tiene
supremo e nfimo en P.
No esta de mas recordar que supremo (respectivamente, nfimo) de
un conjunto es la mnima (resp. maxima) cota superior (resp. inferior)
de tal conjunto, es decir, el supremo de un conjunto A es un a tal que
para todo x A, x a y ademas cumple que si x a0 para todo x A
entonces a a0 ; mientras que el nfimo de un conjunto A es un a tal
que para todo x A, a x y ademas cumple que si a0 x para todo
x A entonces a0 a. Es sencillo probar (ver ejercicios) que supremos
e nfimos son u
nicos cuando existen.
Notacion: Si P = hP, i es una retcula con maximo y mnimo,
se denota al maximo por 1 y al mnimo por 0. El nfimo de {x, y} se
denotara por x y y el supremo por x y
16
1. LOGICA
PROPOSICIONAL
n 2.4. Sean P = hP, i una retcula y a, b, c P . Las

Proposicio
siguientes condiciones son equivalentes:
a b,
a b = a, y
a b = b
Ademas se cumple lo siguiente:
1. a b a, a b b.
2. a b a, a b b.
3. a a = a, a a = a.
4. a b = b a, a b = b a.
5. a (b c) = (a b) c, a (b c) = (a b) c.
6. c (a b) (c a) (c b)
c (a b) (c a) (c b)
7. Si a b entonces a c b c y a c b c.
8. Si P tiene maximo y mnimo entonces a 0 = 0, a 0 = a
a 1 = a, a 1 = 1
n. Se deja como ejercicio al lector, salvo la primera
Demostracio
parte del inciso 6. Primero note que c c a y c c b. Tambien
pasa que a b a y a b b, por lo tanto a b c a y a b
c b. Luego c (a b) es cota inferior de {c a, c b}. Por lo tanto
c (a b) (c a) (c b).
La segunda parte del inciso 6 se prueba de manera analoga a la primera.

n 2.5. Una retcula P es distributiva si en el inciso 6 de
Definicio
la proposicion anterior valen las igualdades.
n 2.6. Sea P una retcula con maximo y mnimo. Dados
Definicio
p, q P decimos que q es complemento de p si p q = 0 y p q = 1.
n 2.7. Si en una retcula distributiva P con maximo y
Proposicio
mnimo, un elemento a P tiene complemento, entonces este es u
nico.
En virtud de este resultado, hablaremos de el complemento de...
n. Sean q y q 0 complementos de p, es decir q p =
Demostracio
q 0 p = 0 y q p = q 0 p = 1. Note que
q 0 = q 0 1 = q 0 (q p) = (q 0 q) (q 0 p) = (q 0 q) 0 = q 0 q
Por lo tanto q 0 q. Analogamente se prueba que q q 0 , y as,
q = q.

0
Notacion: ac denotara al complemento de a. Veamos las propiedades

del complemento.

PROPOSICIONAL
17
n 2.8. Sea P una retcula distributiva con maximo y

Proposicio
mnimo, y sean a y b dos elementos de P que tienen complemento.
Entonces,
1. (ac )c = a, 1c = 0, 0c = 1.
2. (a b)c = ac bc ,
3. (a b)c = ac bc ,
4. a b si y solo si a bc = 0 si y solo si ac b = 1,
5. a = b si y solo si (ac b)(bc a) = 1 si y solo si (ac b)(bac ) =
0
n. (1) Observe que a satisface la definicion de ser el
Demostracio
complemento de ac ; y que 1 satisface la condicion de ser complemento
de 0. (2) Veamos que ac bc act
ua como complemento de ab. Primero,
(ab)(ac bc ) = ((ab)ac )((ab)bc ) = (b(aac ))(a(bbc ))
= (b 0) (a 0) = 0 0 = 0.
Por otro lado,
(a b) (ac bc ) = (a (ac bc )) (b (ac bc )) = 1 1 = 1.
El resto del inciso (2) y el inciso (3) se quedan como ejercicios para el
lector. (4) Si a b entonces (abc ) (bbc ) = 0, por lo tanto abc = 0.
c
Si abc = 0 entonces ac b = ((ac b)c )c = (ac bc )c = (abc )c = 0c = 1.
Si ac b = 1, entonces a = 1 a = (ac b) a = (ac a) (b a) =
0 (b a) = b a. Por la Proposicion 2.4 a b. El inciso (5) tambien
queda como ejercicio para el lector.

n 2.9. Un algebra booleana es una retcula distributiva
Definicio
con maximo y mnimo en la que todo elemento tiene complemento.
El lector seguro conoce ejemplos de algebras booleanas. Para empezar, las algebras potencia de conjuntos lo son. En particular, el algebra
potencia de un conjunto unitario (i.e de la forma {e}) es isomorfa al
conjunto 2 = {0, 1} dotado con las operaciones del ejemplo 1.3. Un
celebre teorema de Marshall Stone proclama que de hecho todas las
algebras booleanas son isomorfas a algebras de conjuntos (no necesariamente algebras potencia), es decir, las operaciones de supremo,
nfimo y complemento son union, interseccion y complemento respecto
al total. Un ejemplo de algebra de conjuntos que no es (ni siquiera isomorfa a) un algebra potencia es la que generamos con los subconjuntos
finitos mas los cofinitos de N. Al ser un algebra numerable, no puede
ser la potencia de ning
un conjunto.
En toda algebra booleana estan definidas las siguientes operaciones,
es decir, para cualesquiera elementos a y b de un algebra booleana P
se define:

1. LOGICA
PROPOSICIONAL
18
1.
2.
3.
4.
a b := ac b (el complemento de a relativo a b).

a \ b := a bc (a menos b).
a4b := (a \ b) (b \ a) ( la diferencia simetrica).
aOb := (a4b)c (la coincidencia simetrica).
En los ejercicios de esta seccion el lector se familiarizara con estas

operaciones.
Ejemplo 2.10. Sea hX, i un espacio topologico, y sean CO(X) la
familia de subconjuntos cerrados y abiertos de X, y RO(X) la familia
de los subconjuntos abiertos regulares de X. Se dice que A es abierto
regular si A = int(cl(A)). El algebra CO(X) es un algebra de conjuntos
y esta incluida en RO(X), sin embargo esta u
ltima en general no es
algebra de conjuntos, pues el complemento de A es int(X \A), mientras
que A B = int(cl(A B)).
Ejercicios 4. Para los siguientes ejercicios, sea P = hP, i un
conjunto parcialmente ordenado.
1. Sea A un subconjunto de P que tiene supremo. Demuestre que
este es u
nico. Medite y convenzase de que lo mismo pasa en el
caso analogo para nfimos.
2. Complete la demostracion de la Proposicion 2.4.
3. De un ejemplo sencillo de una retcula que no sea distributiva.
4. De un ejemplo de retcula distributiva con maximo y mnimo
con un elemento que no tenga complemento.
5. De un ejemplo de retcula con maximo y mnimo que tenga un
elemento que a su vez tenga dos complementos diferentes.
En los siguientes ejercicios, supondremos que P es un algebra booleana.
7. a b = 1 si y solo si a b.
8. Demuestre que a4b = (ab)\(ab) y aOb = (ab)(ac bc ) =
(a bc ) (b ac ).
9. Demuestra que a = b si y solo si a4b = 0.
10. Demuestre que en cualquier algebra booleana, 4 es una operacion de grupo abeliano, cuyo neutro es el 0 y en el que todos
los elementos son autoinversos.
11. Use el ejercicio anterior para demostrar que en cualquier algebra
booleana, O es una operacion de grupo abeliano, cuyo neutro
es el 1 y en el que todos los elementos son autoinversos.

PROPOSICIONAL
19
2.3. La interpretaci
on booleana. Filtros, homomorfismos,
cocientes y ultrafiltros. La nocion de tautologa que fue definida en
2.1 parece ser restrictiva y artificial. por que admitir solo dos valores
de verdad? que se ganara o perdera al admitir mas valores de verdad,
siempre que estos se encuentren en una estructura apropiada, como un
algebra booleana? Interpretemos un lenguaje proposicional P en un algebra booleana P. Por supuesto esto conlleva un cambio: cuales seran
ahora las formulas validas? Al igual que en el caso de las tautologas,
digamos que una formula es P-valida si toda valuacion de P en P,
asigna el valor 1 (el maximo de P) a . A partir de este momento,
buscaremos demostrar que las tautologas son exactamente las formulas validas en cualquier interpretacion booleana. Para esto necesitamos
incorporar al lenguaje la nocion de filtro y estudiar los homomorfismos
de algebras booleanas.
n 2.11. Sea P un algebra booleana. Un filtro F en P es
Definicio
un subconjunto de P tal que:
1. 1 F , 0
/F
2. Para todos a F y b P, si b a entonces b F .
3. Para todos a, b F se tiene que a b F .
Dual a la nocion de filtro, se define ideal.
n 2.12. Un ideal I en P es un subconjunto de P tal que:
Definicio
1. 0 I, 1
/I
2. Para todos a I y b P, si b a entonces b I.
3. Para todos a, b I se tiene que a b I.
Observe que si I es un ideal sobre un algebra booleana P entonces
I = {ac : a I} es un filtro, llamado el filtro dual de I. Analogamente,
si F es un filtro, entonces F = {ac : a F } es un ideal, llamado el
ideal dual de F .
Ejemplo 2.13. Sea P un algebra booleana cualquiera. Trivialmente, el conjunto {1} es un filtro y el conjunto {0} es un ideal. En el
algebra potencia de N, la familia Fin(N) de subconjuntos finitos de N
es un ideal. Su filtro dual suele ser llamado el filtro de Frechet.
Dado un elemento a de un algebra booleana P, la familia Fa = {b
P : b a} es un filtro. Se dice que un filtro F es fijo cuando F = Fa
para alg
un a P . De lo contrario se dice que F es libre.
En la seccion de ejercicios el lector podra encontrar mas ejemplos
de filtros e ideales.
A continuacion investigaremos cuando un subconjunto cualquiera
de un algebra booleana esta contenido en un filtro.
20
1. LOGICA
PROPOSICIONAL
n 2.14. Decimos que A P tiene la propiedad de la

Definicio
interseccion finita (pif) si para cualesquiera n y a1 , a2 , . . . , an A,
a1 a2 . . . an 6= 0.
Note que los filtros siempre tienen esta propiedad. Inversamente,
los conjuntos con esta propiedad son aquellos para los que hay un filtro
que los contiene.
n 2.15. Sea A un subconjunto de un algebra booleana
Proposicio
P. Entonces, A tiene la pif si y solo si existe un filtro F tal que A F .
n. ] Todo filtro tiene la pif, y subconjuntos de
Demostracio
conjuntos con la pif tienen la pif.
] Sea F = {b S P : n y a1 , a2 , . . . , an A tal que b
a1 a2 . . . an } {1}. Ver que esto es filtro se queda como ejercicio
para el lector.

Los filtros tienen la siguiente propiedad curiosa:
n 2.16. Sean F un filtro en un algebra booleana P, y
Proposicio
p P. Si p
/ F entonces F {pc } tiene la pif.
n. Supongamos que F {pc } no tiene la pif. EntonDemostracio
ces existe a F tal que a pc = 0 (piense el lector por que). Por la
Proposicion 2.8 (4), existe a en F tal que a p, y as tenemos que
p F.

n 2.17. Sean P y Q algebras booleanas.
Definicio
Un homomorfismo de P en Q es una funcion : P Q tal que:
1. (0P ) = 0Q y (1P ) = 1Q .
2. (ac ) = (a)c .
3. (a b) = (a) (b).
Observe que todo homomorfismo es creciente, i.e. satisface que
si a b entonces (a) (b). Mas a
un, satisface tambien que (a
b) = (a) (b). Por otro lado, note que no basta que una funcion
sea creciente para que sea homomorfismo de algebras booleanas (las
demostraciones quedan como ejercicio).
Ejemplo 2.18.
1. El algebra booleana 2 esta encajada en cualquier algebra booleana P por la funcion dada por (0) = 0 y (1) = 1.
2. La funcion inclusion de CO(X) en RO(X) es un homomorfismo
de algebras booleanas (donde X es un espacio topologico).

PROPOSICIONAL
21
3. Sean A cualquier conjunto y B A. La funcion : P(A)

P(B) dada por (a) = a B es un homomorfismo. La inclusion
de P(B) en P(A) no lo es.
De manera natural, los homomorfismos de algebras booleanas determinan un filtro y un ideal en su dominio.
n 2.19. Sea : P Q un homomorfismo de algebras
Definicio
booleanas. Se define la coraza de por
Shell() = {a P : (a) = 1Q },
y el n
ucleo de se define por
Ker() = {a P : (a) = 0Q }.
n 2.20. Sea un homomorfismo de algebras booleaProposicio
nas. Entonces Shell() es un filtro, Ker() es un ideal y Ker() =
Shell() .
Dejamos al lector probar esta proposicion, a manera de ejercicio.
Cada filtro (o ideal) define una relacion de equivalencia sobre un
algebra booleana P, cuyo cociente hereda de manera natural la estructura de algebra booleana. A continuacion los detalles.
n 2.21. Sean P un algebra booleana y F un filtro en P.
Definicio
Diremos que a y b elementos de P, son equivalentes modulo F (denotado
por a F b) si y solo si aOb F .
Recuerde el lector que aOb es la coincidencia simetrica definida en
la seccion 2.2. Claramente, la intencion de esta definicion es que dos
elementos de P son equivalentes modulo F si estan de acuerdo en un
elemento grande seg
un F .
n 2.22. F es una relacion de equivalencia.
Proposicio
n. Usando el ejercicio 4 (incisos 8 y 11) esta prueba
Demostracio
se torna muy simple. Reflexividad y simetra se dejan como ejercicio.
Veamos la transitividad. Primero, note que si r, s F entonces rOs =
(r sc ) (s rc ) r s F . Sean a, b, c P tales que aOb y bOc F .
Entonces aOc = (aO1)Oc = (aO(bOb))Oc = (aOb)O(bOc) F .

La congruencia modulo F es ademas una relacion de congruencia,
es decir, se comporta correctamente con respecto a las operaciones de
algebra booleana.
n 2.23. Sean P un algebra booleana, F un filtro en P
Proposicio
y a, b, c, d P tales que a F b y c F d , entonces:
1. ac F bc

1. LOGICA
PROPOSICIONAL
22
2. (a c) F (b d)
3. (a c) F (b d)
n. 1 es inmediato del ejercicio 4.8. Para el inciso 2,
Demostracio
observe que distribuyendo se obtiene que
(aOb)(cOd) = (abcd)(abcc dc )(ac bc cd)(ax bc cc dc ),
mientras que
(a c)O(b c) = (a b c d) (cc dc ) (ac bc ) (ac dc ) (bc cc ).
Finalmente, note que cada disyunto de la primera ecuacion es menor o
igual que alg
un disyunto de la segunda.

n 2.24. [a] v [b] si ac b F .
Definicio
Verifiquemos que esta definicion no depende de representantes. Supongamos que a1 F a2 , b1 F b2 y ac1 b1 F . Entonces (ac1 b1 )
(a1 Oa2 ) (b1 Ob2 ) F . Distribuyendo y cancelando adecuadamente se
tiene que
(ac1 b1 ) (a1 Oa2 ) (b1 Ob2 ) =
(b1 b2 ac1 ac2 ) (b1 b2 a1 a2 ) (bc1 bc2 ac1 ac2 ).
Note que cada disyunto de la ecuacion anterior es menor o igual
que ac2 b2 , por lo que ac2 b2 F .
n 2.25. La relacion v es un orden parcial sobre P/F
Proposicio
n. La reflexividad es trivial, la antisimetra se obDemostracio
tiene fcilmente del ejercicio 4.8. Demostraremos la transitividad. Supongamos que ac b y bc c estan en F . As basta observar que
(ac b) (bc c) = (ac (bc c)) (b c) ac c.

n 2.26. Sean P un algebra booleana , F un filtro en P
Proposicio
y P/F el cociente.
Si [a], [b] P/F , entonces:
1. [a]CV= [a]c .
2. [a] W[b] = [a b].
3. [a] [b] = [a b].
n. Por la Proposicion 2.23, estas definiciones no deDemostracio
penden de representantes. Tan solo probaremos la ecuacuoV
n (2), dejando el resto como ejercicio para el lector. Probemos que
se comporta como el nfimo con respecto a v. Claramente, (a b)c a =
(ac bc ) a = 1 F , por lo tanto [a b] v [a], y analogamente se
prueba que [a b] v [b]. Por lo tanto [a b] es cota inferior de {[a], [b]}.

PROPOSICIONAL
23
Sea c P tal que [c] v [a] y [c] v [b], entonces cc a F y cc b F ,

de donde (cc a) (cc b) = cc (a b) F . Luego [c] v [a b].
Observe que, como de costumbre, la funcion : P P/F dada
por (a) = [a]F es un homomorfismo suprayectivo. A continuacion
discutiremos el caso en el que P/F es isomorfa al algebra 2.
n 2.27. Un filtro F sobre un algebra booleana P es un
Definicio
ultrafiltro si es un filtro maximal con respecto a la contencion.
Los ejemplos de ultrafiltros estan en dos extremos: o son muy triviales o son imposibles de describir. Se dice que un elemento a de un
algebra booleana P es un atomo si no existe x P tal que 0 < x < a.
De este modo, el filtro fijo Fa = {p P : p a} es un ultrafiltro
cuando a es un atomo. Queda como ejercicio probar que si Fa es un
ultrafiltro, entonces a es un atomo. La existencia de ultrafiltros libres
esta garantizada por el siguiente Teorema.
Teorema 2.28. (del ultrafiltro, Tarski) En cualquier algebra booleana P, para cada conjunto A P con la pif, existe un ultrafiltro F
en P tal que A F .
n. Sea R la familia de todos los filtros G P tales
Demostracio
que A G, y considere a R ordenado por contencion. Por la ProposiS
cion 2.15, R es no vaco. Sea C R una cadena. Supongamos
que
C
S
no tiene la pif. Entonces existen n y c1 , c2 , . . . , cn C tales que
c1 c2 . . . cn = 0. Por ser una cantidad finita existe G C tal que
c1 , c2 , . . . , cn G, loScual implica que G no tiene la pif, una contradiccion. Por lo tanto C tiene la pif. Por el Lema de Kuratowski-Zorn
existe un maximal F R.

El siguiente teorema muestra varias equivalencias de ser ultrafiltro.
Teorema 2.29. Sea P un algebra booleana, y F P un filtro.
Entonces las siguientes afirmaciones son equivalentes:
1. F es un ultrafiltro.
2. Para todos p, q P, si p q F entonces, o bien p F , o
q F.
3. Para todo p P, o bien p F , o pc F .
4. P/F
= {0, 1}.
5. F es un ideal maximal.
n. (1 2). Supongamos que p
Demostracio
/ F yq
/ F . Por
la Proposicion 2.16, F {pc } y F {q c } tienen la pif, pero por la
maximalidad de F , ambos conjuntos estan contenidos en F y por tanto,
(p q)c = pc q c F . Como F tiene la pif, p q
/ F . (2 3). Sea
24
1. LOGICA
PROPOSICIONAL
p P. Entonces p pc = 1 F , y por (2), p F o pc F . (3 4).

Es un tramite burocratico verificar que la funcion : P 2 dada por
(p) = 1 si y solo si p F es un isomorfismo de algebras booleanas.
(4 1). Sea : P/F 2 un isomorfismo de algebras booleanas.
Claramente F = Shell() es un filtro. Si p
/ F entonces (p) = 0 por
tanto p Ker() = F , y por tanto pc F . Como F tiene la pif, p no
puede estar en un filtro que extienda a F , con lo cual queda establecida
la maximalidad de F . (1 5) es inmediato.

Ahora estamos en posicion de regresar a la interpretacion booleana
de las formulas proposicionales.
Teorema 2.30. Sea P un conjunto de letras proposicionales y
una formula en P. Entonces las siguientes afirmaciones son equivalentes:
1. es una tautologa,
2. existe un algebra booleana P tal que para toda v : P P,
v () = 1P , y
3. para toda algebra booleana P y toda V : P P, V () = 1P .
n. (3 2) es inmediato.
Demostracio
(2 1) Supongamos no es una tautologa, sea v : P 2 tal
que v () = 0. Sea P cualquier algebra booleana. Consideremos el
homomorfismo : 2 P dado por (0) = 0P y (1) = 1P . De este
modo, w := v : P P es una asignacion tal que w () = 0.
(1 3) Supongamos que existe un algebra booleana P y una funcion v : P P tal que v () 6= 1P . Entonces v () = v ()c 6= 0P .
De este modo, el conjunto {v ()} tiene la pif. Por Teorema del Ultrafiltro 2.28 existe un ultrafiltro F en P tal que v () F . Ahora
definamos w : P 2 de la siguiente manera: w(P ) = 1 si y solo si
v(P ) F . Se deja como ejercicio demostrar por induccion que para cada formula , w () = 1 si y solo si v () F . As w es una asignacion
para la cual w() = 0, demostrando que no es tautologa.

Ejercicios 5.
1. Demuestre que las siguientes familias de conjuntos tienen la pif.
Describa al filtro generado por ellos y a su ideal dual.
a) {(a, ) R : a R}
b) {A : A es cerrado y no acotado}, donde es un cardinal.
c) {A R : A denso y abierto}
d ) {A [0, 1] : (A) = 1}, donde es la medida de Labesgue
sobre [0, 1].

PROPOSICIONAL
25
2. Sea un homomorfismo de algebras booleanas y a y b en el

dominio de . Demuestre que (a b) = (a) (b) y que si
a b entonces (a) (b).
4. Demuestre la proposicion 2.20.
5. Demuestre la reflexividad y simetra en la Proposicion 2.22.
6. Demuestre (3) en la proposicion 2.23.
8. Demuestre que si el filtro fijo Fa es ultrafiltro entonces a es un
atomo.
9. Complete la demostracion del Teorema 2.30.
2.4. Arboles
signados. En esta seccion estudiaremos el metodo
de arboles signados que de modo agil permite reconocer tautologas e
implicacion y equivalencia logica. Su agilidad es notable comparada
con las tablas de verdad, las cuales suelen requerir demasiados calculos
cuando quedan involucradas muchas letras proposicionales.
Recuerde el lector que las formulas proposicionales han sido construidas recursivamente, teniendo como base a las letras proposicionales,
de modo que cada formula lleva implcito un arbol de construccion, en
cuyos nodos quedan las subformulas de la formula dada. Por ejemplo,
el arbol de construccion para la formula P (R S) se muestra a
continuacion:
P
(R S)
R S
S
En un arbol signado igualmente descompondremos una formula en
sus subformulas, pero ahora en terminos de un signo previamente establecido. Este signo sera 0 o 1, y se seguiran las siguientes reglas de
descomposicion de nodos.
1

1. LOGICA
PROPOSICIONAL
26
( ) 1
( ) 0
( ) 0
( ) 1
( ) 1
( ) 0
Observe que hay dos tipos de reglas: las de bifurcacion y las descendentes. Las reglas descendentes tienen prioridad sobre las de bifurcacion
y el desglose de formulas debera ser exhaustivo, es decir, antes de desglosar una formula deben haber sido desglosadas las formulas de nivel
superior.

PROPOSICIONAL
27
Ejemplo 2.31. El arbol signado para la formula (P S) ((R

P ) S) 1 es:
(P S) ((R P ) S) 1
(P S) 0
P 0
((R P ) S)1
S0
(R P ) 1
S 1
R1
P 1
S0
S0
n 2.32. Decimos que una rama esta muerta si hay una

Definicio
letra proposicional P tal que P 0 y P 1 aparecen en tal rama. Una
rama esta viva si y solo si no esta muerta.
n 2.33. Sea S = 0 o S = 1. Entonces toda rama viva
Proposicio
para el arbol signado S induce una asignacion v tal que v () = S.
Tal asignacion consiste simplemente en v(P ) = 1, si P 0 no aparece en
tal rama, y v(P ) = 0 en otro caso. Inversamente, para cada asignacion
v, si v () = S entonces el arbol S tiene una rama viva tal que
para cada letra proposicional P , si en tal rama aparece P c entonces
v(P ) = c.
n. Demostraremos la primera parte por induccion
Demostracio
sobre la formacion de . El caso base es obvio. Mostraremos los casos
mas ilustrativos, dejando el resto como ejercicio para el lector. Supongamos que es de la forma y S = 1. Por hipotesis de induccion, una
rama viva del arbol signado 0 nos da una asignacion v que satisface
que v () = 0. Por lo tanto v () = 1. Si es de la forma y
S = 0 entonces una rama viva para 0 es o bien una rama viva para
0 o una rama viva para 0. Supongamos que 0 tiene tal rama viva.
Por hipotesis de induccion, existe una asignacion v tal que v () = 0.
Por tanto, v () = 0. Si es de la forma y S = 1, entonces la
rama viva de 1se puede descomponer en dos ramas vivas de 1 y
28
1. LOGICA
PROPOSICIONAL
1 respectivamente, que ademas estan de acuerdo en sus letras proposicionales, es decir, no hay una letra proposicional P de modo tal que
P 0 aparezca en una de ellas y P 1 aparezca en la otra. Por hipotesis
de induccion, tendremos una asignacion v tal que v () = 1 = v ().
Por lo tanto, v () = 1.
Para la segunda parte tambien procederemos por induccion sobre
la formacion de . El caso en el que es una letra proposicional es
trivial. El caso en el que es de la forma se sigue directamente de
la hipotesis de induccion, lo mismo que en los casos en los que el arbol
se bifurca. El caso representativo del arbol que se extiende de manera
descendente es cuando es de la forma y S = 1. Por hipotesis
de induccion, 1 y 1 tienen (cada uno) una rama viva, en las que
ambas satisfacen que para cada letra proposicional P , si en tal rama
aparece P c, entonces v(P ) = c. Esto quiere decir que para este par
de ramas, no habra una letra proposicional P tal que P 0 aparezca en
una mientras que P 1 aparece en la otra. Por tanto, trenzando estas
dos ramas, obtendremos una rama de 1 que satisface las condiciones
del teorema.

Teorema 2.34 (Completud-Correctud). es una tautologa si y
solo si todas las ramas del arbol 0 estan muertas.
n. () Por la Proposicion 2.33, si 0 tiene una
Demostracio
rama viva, entonces hay una asignacion v tal que v () = 0, por lo
que tal no es tautologa. () Si no es tautologa entonces hay una
asignacion v el arbol 0 tiene una rama viva.

Ejercicios 6.
1. Mediante el metodo de arboles signados determine cuales de las
siguientes formulas son tautologas:
a) ((P Q) R) (Q R)
b) (P (Q R)) ((P Q) (P R))
c) ((P R) (P S)) (R S)
d ) (P R) (P S) (P R S)
2. Mediante el metodo de arboles signados, pruebe o refute que
el conjunto {P Q, (R Q) M } implica logicamente a la
formula (M P ) R.
3. Demuestra que {, } |= ( ).
4. Demuestra que |= ( ).
5. Demuestra que {, ( )} |= .
6. Agregue las reglas que faltan a nuestra lista para formulas que
contienen el signo de bicondicional.
7. Complete la demostracion de la proposicion 2.33.

PROPOSICIONAL
29
2.5. Satisfacibilidad e implicaci

on l
ogica. Comenzaremos por
plantear un problema aparentemente ajeno a la Logica Proposicional.
Problema 2.35. Dado un conjunto parcialmente ordenado (P, ),
existe un orden total para P que extienda a ?
Consideremos el siguiente ejemplo. Sea P = P{1, 2, 3} ordenado
por contencion. El siguiente diagrama nos muestra a P con este orden.
{1, 2, 3}
9
{1, 2}
{1, 3}
{1} e
{2}
{2, 3}
{3}
Es sencillo encontrar muchos ordenes lineales que extienden al anterior. El mismo dibujo por niveles nos sugiere que con tan solo definir
un orden lineal entre los elementos de un mismo nivel podemos obtener
un orden lineal en todo nuestro conjunto P. Una forma podra ser la
siguiente (se omiten algunas flechas que se sobreentiende que estan):
{1, 2, 3}
e
{1, 2} j
{1} e
{1, 3}
/
{2}
{2, 3}
/
{3}
En general, para cualquier conjunto parcialmente ordenado finito

podemos hacer una extension de este estilo, ordenando nivel por nivel. Sin embargo cuando el conjunto es infinito, no queda claro que
haya niveles ni que los niveles esten linelmente ordenados, como en los
conjuntos finitos. En este caso es en el que podemos utilizar la Logica
Proposicional.
30
1. LOGICA
PROPOSICIONAL
Definamos un lenguaje de proposiciones

(1)
P = {A(p, q) : p, q P},
es decir asignemos una letra proposicional a cada par ordenado de puntos del conjunto. Codifiquemos al orden parcial considerando el siguiente conjunto
B = {A(p, q) : p q}.
La propiedad de orden parcial se puede codificar a traves el conjunto
C = {A(p, p) : p P} {(A(p, q) A(q, p)) : p 6= q}
{(A(p, q) A(q, r)) A(p, r) : p, q, r P}.
Y el siguiente conjunto B codifica la propiedad de ser orden total.
D = {(A(p, q) A(q, p)) : p, q, P}.
Nuestro sue
no dorado sera encontrar una asignacion v : P 2 tal
que para toda en B C D, v () = 1, pues en caso de tenerla, el
orden total v que extendera a podra quedar definido por:
(2)
a v b si y solo si v (A(a, b)) = 1.
El lector queda comprometido a verificar los detalles a manera de

ejercicio. La pregunta es existe tal asignacion? Hagamos un poco de
teora al respecto
n 2.36. Un conjunto T de formulas proposicionales en
Definicio
un lenguaje P es satisfacible si existe una asignacion v : P 2 tal que
para toda formula en T , v () = 1.
En el caso del problema anterior, precisamente el sue
no dorado consiste en ver si T = B C D es satisfacible. Cuando T consta de una
sola formula , T es satisfacible si y solo si no es una contradiccion.
Cuando T es finito, T es satisfacible si y solo si la conjuncion de sus
formulas no es una contradiccion. En consecuencia, verificar la satisfacibilidad de un conjunto finito de formulas se reduce al problema dual
de verificar si una formula es una tautologa. En terminos de arboles
signados, es satisfacible si y solo si el arbol 1 tiene una rama viva.
El lector encontrara la oportunidad de divertirse demostrando todos
estos hechos a la manera de un ejercicio.
En oposicion a la sencillez del problema de la satisfacibilidad finita,
se encuentra el problema de verificar que una familia infinta de formulas
es satisfacible. Con el fin de ahorrar escritura, diremos que un conjunto
de formulas proposicionales T es finitamente satisfacible (finsat) si cada
subconjunto finito de T es satisfacible. El siguiente teoremon resuelve
el problema de la satisfacibilidad de conjuntos infinitos de formulas.

PROPOSICIONAL
31
Teorema 2.37. (Compacidad) Sea T un conjunto de formulas de

un lenguaje proporcional P. Si T es finsat entonces T es satisfacible.
Daremos dos pruebas distintas para este teorema.
2.5.1. Primera prueba (usando Lema de Konig, para T numerable). Para esta demostracion del teorema necesitamos demostrar primero el Lema de Konig.
n 2.38. Un arbol A es un conjunto parcialmente ordenaDefinicio
do con elemento mnimo (llamado raz ) y tal que para cada t A, el
conjuntos de predecesores de t, predA (t) = {s A : s t} esta bien
ordenado.
Observe que todo nodo s A, el cual tenga un sucesor t > s, tiene
un sucesor inmediato. Denotaremos:
succA (s) = {t A : t es sucesor inmediato de s}.
Decimos que A tiene ramificacion finita si para cada s A, el
conjunto de sucesores inmediatos de s es finito. Una rama de A es
un subconjuntos R deA linealmente ordenado maximal respecto a la
contencion.
Lema 2.39. (Konig) Si A es un arbol infinito con ramificacion finita, entonces A tiene una rama infinita.
n. Sea B = {s A : s tiene una infinidad de
Demostracio
sucesores}. Es claro que la raz esta en B. Ademas, cada que s B
existe s0 succA (s) tal que s0 B, ya que de lo contrario, si cada
s0 succA (s) tuviese una cantidad finita de sucesores entonces, como
union finita de finitos es finito, tenemos que s
/ B, contradiccion. Sea
x0 la raz de A, supongamos definido xn y elijamos xn+1 succA (xn )
con la u
nica restriccion de que tenga una infinidad de sucesores. Sea
R A una rama tal que {xn : n } R. Tal rama existe por
zornificacion, y claramente es infinita.

Ahora si, la demostracion del Teorema de Compacidad, para T numerable.
n. Sea T = {n : n < }, definimos un arbol A
Demostracio
como sigue: Llamaremos A0 al arbol signado de 0 1. Supongamos que
esta definido el arbol An . Al final de cada rama viva de An colgaremos
una copia del arbol signado n+1 1. Note que An+1 tiene
S una rama viva
ya que {k : k n + 1} es satisfacible. Sea A = n=0 An . Observe
que A es un arbol infinito de ramificacion finita. Por Lema de Konig, A
tiene una rama infinita R. Observe que una rama infinita debe seguir
una infinidad de ramas vivas de arboles k 1. Sea v : P 2 tal que
32
1. LOGICA
PROPOSICIONAL
v(P ) = 1 si P 1 esta en R y v(P ) = 0 si P 1 no esta en R. As,

v(n ) = 1 para toda n .

2.5.2. Segunda Prueba (definiendo el algebra de Lindenbaum y
usando el Teorema del Ultrafiltro). El algebra de Lindenbaum L para un lenguaje proposicional P, se define como el cociente de la familia
de P-formulas, modulo la siguiente relacion de equivalencia:
si y solo si |= .
Ordenamos a L como sigue:
[] [] si y solo si |= .
Se verifica facilmente que (ver ejercicios):
n 2.40. Se cumplen las siguientes afirmaciones.
Proposicio
no depende de representantes
Las tautologas forman una clase de equivalencia, y esta es el
maximo de L.
Las contradicciones tambien forman una clase de equivalencia
y esta es el mnimo de L.
[ ] = [] [] y [ ] = [] []
Todo subconjunto finito de T es satisfacible si y solo si T =
{[] : T } tiene la p.i.f .
Sea U un ultrafiltro en L que extienda a T, definamos v : P 2
por v(P ) = 1 si y solo si [P ] U . Es facil demostrar por induccion
sobre la formacion de formulas, que para cada formula , v () = 1 si
y solo si [] U (ver ejercicios). As, como para toda T , [] U ,
tenemos que v () = 1. Por lo tanto T es satisfacible.

Ejercicios 7.
1. Demuestra que si T = {} entonces T es satisfacible si y solo si
no es una contradiccion si y solo si 1 tiene una rama viva.
2. Demuestra que si T = {1 , . . . , n } entonces T es satisfacible si
y solo si 1 n es satisfacible.
3. Considere el lenguaje P definido en la ecuacion (1) 1. Sea v :
P 2 de modo tal que para cada formula en B C D, se
cumple que v () = 1. Sea v la relacion definida en 2. De una
demostracion detallada de que v es un orden total sobre P que
extiende a .
4. De una prueba detallada de que la asignacion v definida en el
ejercicio anterior existe.
5. Demuestre la proposicion 2.40.

PROPOSICIONAL
33
2.6. Consecuencias del Teorema de Compacidad.

En esta seccion daremos algunos ejemplos de la vida real (de un
matematico) donde se resuelven problemas usando el Teorema de Compacidad para la Logica Proposicional.
2.6.1. Graficas.
Una grafica es un par hG, Ei donde G 6= y E [G]2 = {{n, m} :
n 6= m E}. Una coloracion para una grafica hG, Ei es una funcion
f : G k, tal que si {a, b} E entonces f (a) 6= f (b). A tal k se le
considera el conjunto de colores. Decimos que hG, Ei es k-coloreable si
hay una coloracion de hG, Ei en un conjunto con k colores.
Diremos que una grafica hH, F i es una subgrafica de hG, Ei si H
G y F E. Observe que si hH, F i es subgrafica de hG, Ei y hG, Ei es
k-coloreable entonces hH, Ei tambien es k-coloreable.
n 2.41. Si todas las subgraficas finitas de hG, Ei son
Proposicio
k-coloreables, entonces hG, Ei es k-coloreable.
n. Sea k , P = {P (p, c) : p G, c k}. ConsiDemostracio
dere los siguientes conjuntos de formulas:
W
A1 = {P (p, c) ( d6=ck P( p, d)) : p G c k}.
A2 = {(P
W (p, c) P (q, c)) : {p, q} E, c k}.
A3 = { ck P (p, c) : p G}.
Queda como ejercicio para el lector demostrar lo siguiente:
n 2.42. Una asignacion v que satisface al conjunto
Proposicio
A1 A2 A3 induce una coloracion f para nuestra grafica en k colores: simplemente, sea f (p) = c si y solo si v(P (p, c)) = 1. Por el
contrario, una coloracion f para hG, Ei induce una asignacion v tal
que v() = 1 para toda formula en A1 A2 A3 : simplemente definamos v(P (p, c)) = 1 si y solo si f (p) = c.
S S
Y en efecto, tal asignacion v existe porque que A = A1 A2 A3 es
finitamente satisfacible, lo cual es cierto poque precisamente en virtud
de la proposicion anterior y de la hipotesis, cada subconjunto finito de
A es satisfacible.
2.6.2. Ordenes
parciales. Recuerde que una cadena en un conjunto parcialmente ordenado P es un subconjunto de P que esta ordenado
linealmente.
n 2.43. Si P es un conjunto parcialmente ordenado y
Proposicio
k , si cada subconjunto finito de P puede cubrirse con a lo mas k
cadenas, entonces P puede ser cubierto con a lo mas k cadenas.

1. LOGICA
PROPOSICIONAL
34
n. Sea P = {A(p, q) : p, q P} {P (p, i) : p P

Demostracio
0 i < k}, y sean B y C como en el Problema 2.35. Defina un conjunto
de formulas D que expresen el hecho de que un elemento p de P debe
pertenecer a alguna cadena Ki . Defina otro conjunto de formulas E que
exprese que cada Ki es una cadena. Verifique que B C D E es
finitamente satisfacible y use el Teorema de Compacidad.

2.6.3. Consecuencia logica. La siguiente aplicacion del Teorema
de Compacidad es sobre la misma Logica Proposicional.
El lector inspirado en la Proposicion 2.16 puede demostrar el siguiente lema.
Lema 2.44. Sea T un conjunto satisfacible de formulas en un lenguaje proposicional P,
S y sea una formula del lenguaje P. Entonces,
T |= si y solo si T {} no es satisfacible.
Ahora bien, el siguiente Teorema es la version del Teorema de Compacidad que fue enunciada en la Subseccion 2.1.
Teorema 2.45. Sea T un conjunto de formulas en un lenguaje
proposicional P, y sea una formula del lenguaje P. Entonces T |=
si y solo si existe T 0 T finito tal que T 0 |= .
n. S
Demostracio
Note que el regreso es trivial. Probemos la ida.
Si T |= entonces T {} no es satisfacible.
Por Teorema de ComS
pacidad, existe T 0 T finito tal que T 0 {} no es satisfacible. Por
el Lema anterior, T 0 |= .

Ejercicios 8.
1. Demuestre la Proposicion 2.42.
2. Complete la demostracion del la Proposicion 2.43.
3. Demuestre el Lema 2.44.
4. Demuestre el regreso del Teorema 2.45.
5. Demuestre que el Teorema 2.45 implica al Teorema de Compacidad.
3.
Teora de la prueba de la L
ogica Proposicional
En esta seccion, ejemplificaremos el modus operandi de la teora

de la prueba con el caso especfico de la logica proposicional. Enmarcaremos ahora a la logica proposicional en un sistema deductivo tipo
Hilbert. En general estos sistemas involucran los siguientes elementos:
1. Un lenguaje, que incluye smbolos y formulas.
2. Axiomas, que son algunas formulas particulares, y que tpicamente son faciles de reconocer.

3. TEORIA DE LA PRUEBA DE LA LOGICA
PROPOSICIONAL
35
3. Reglas de inferencia, que especifican cuando una formula se deduce inmediatamente de otras, y que tpicamente son sintacticas, es decir, estan definida en terminos de la formacion de los
smbolos, y no apelan al significado de las formulas.
4. Una nocion de deduccion, que especifica cuando una formula se
deduce (no necesariamente de manera inmediata) de otras, la
cual tambien debe estar formulada en terminos de la formacion
de los smbolos involucrados.
La notacion es sugestiva: T ` significa que la formula se deduce
de T (en un sistema especfico). En nuestro caso:
1. El lenguaje y las formulas son un lenguaje proposicional P, con
las formulas que conocemos (P).
2. Los axiomas son las formulas que estan en la union de los siguientes conjuntos:
A1 = { ( ) : , (P)}
A2 = {( ) (( ( )) ( )) : , ,
(P)}
A3 = {( ) : , (P)}
A4 = {( ) : , (P)}
A5 = { ( ( )) : , (P)}
A6 = { ( ) : , (P)}
A7 = { ( ) : , (P)}
A8 = {( ) [( ) ( )] : , ,
(P)}
A9 = {( ) (( ) ) : , (P)}
A10 = {( ) ( )} ( ) : , (P)}
A11 = {( ) ( ) : , (P)}
A12 = {( ) ( ) : , (P)}
A13 = {() : (P)}
3. La u
nica regla de inferencia que consideraremos se llama modus
ponens y actua como sigue. De las formulas y se
deduce .
4. Una deduccion en este sistema es una sucesion finita 1 , . . . , n
de formulas tal que para cada k n, o bien, k es un axioma
(es decir, esta en A1 A13 ), o bien existen i, j < k tales
que k se deduce por modus ponens de i y j , es decir, i es
de la forma j k .
El sistema recien presentado fue tomado del libro de S. C. Kleene
[?], y se le conoce como el Calculo Proposicional de Kleene. Estrenemos
el juguete nuevo.

1. LOGICA
PROPOSICIONAL
36
Ejemplo 3.1. Haremos una deduccion de la formula P P :

1. P ((P P ) P )
A1
2. (P (P P )) ((P ((P P ) P )) (P P )) A2
3. P (P P )
A1
4. (P ((P P ) P )) (P P )
5. P P
M P 2, 3
M P 1, 4.
Es una buena costumbre enumerar el lugar que cada formula ocupa

en la deduccion, a la vez que se acompa
na por la justificacion de su presencia. Claramente, en el ejemplo anterior, la formula 1 esta justificada
por pertenecer al esquema A1 , mientras que la formula 4 se obtuvo por
Modus Ponens a partir de las formulas 2 y 4.
La nocion de deduccion del Calculo de Kleene se puede extender
de modo que podamos hacer deducciones utilizando hipotesis. Decimos
que se deduce de un conjunto de formulas si existe una sucesion
finita de formulas 1 , . . . , n tales que = n y para cada i = 1, . . . , n,
o bien i esta en , o i es un axioma (es decir, esta en A1 A13 ),
o bien se obtiene por Modus Ponens de j y l para algunos j, l < i.
Notacion:
1. ` significa que se deduce de .
2. ` tambien se denotara por ` .
3. 1 , . . . , n ` significa que {1 , . . . , n } `
Lema 3.2. (De finitud) Si ` entonces existe 0 tal que
0 ` .
Demostracion:
Sea 1 , . . . , n una deduccion de a partir de .
Sea 0 = {1 , . . . , n }, entonces 1 , . . . , n es una deduccion de
a partir de 0 .2
Ejemplo:
A B, A (B C) ` C
1.
2.
3.
4.
5.
6.
(A B) A, por A3.
A B, hipotesis.
A, MP 1 y 2.
(A B) B, por A4.
B, MP 2 y 4.
A (B C), hipotesis.

PROPOSICIONAL
37
7. B C, MP 3 y 6.
8. C, MP 5 y 7.
n 3.3.
Proposicio
Si ` y entonces ` .
Si 1 , . . . , k son formulas tales que ` i para toda i = 1, .., k
y {1 , . . . , k } ` entonces ` .
Si ` entonces , ` .
Demostracion: Ejercicio.
Ejercicios 9.
1. Demostrar Proposicion 3.3.
3.0.4.
Teorema de la deduccion.
Teorema 3.4. (De la deduccion): Sea { , } un conjunto

de formulas. Si , ` entonces ` .
Demostracion:
Por induccion sobre la deduccion , ` . Suponga que 1 , 2 , . . . , =
es una deduccion que muestra que , ` .
Sea 1 i k.
Caso I: i es un axioma o esta en , as, ` i , ` i ( i )
A1.
Por lo tanto ` i , MP.
Caso II:i es , sabemos que `
Por lo tanto ` .
Caso III: i se obtuvo por MP a partir de j y l con j < l < i.
Supongamos que j y l ya cumplen el resultado. y l es j i ,
entonces:
1. ` j , hipotesis.
2. ` l , hipotesis.
Por lo tanto:
3. ` (j i ).
4. ` ( j ) (( (j i )) ( i )) A2.
5. ` ( (j i )) ( i ), MP 4 y 1.
6. ` i , MP 3 y 6.2
Ejemplo, daremos una deduccion explicita de la formula:
A B ` (A (B C)) C
38
1. LOGICA
PROPOSICIONAL
Que podriamos obtener inmediatamente con el teorema de la deduccion del ejemplo anterior argumentando el teorema de la deduccion.
No haremos una deduccion eficiente, si no que seguiremos el algoritmo
que viene dado en la prueba del teorema de la deduccion,
1. (0.1)
(A B A) ((A (B C)) ((A B) A))
A1.
a)
b) (A B) A A3.
2. (A (B C)) ((A B) A), MP entre 1 y 2.
3. ((A B) B) [(A (B C)) ((A B) B)] A1.
4. (A B) B A4.
5. (A (B C)) ((A B) B) MP entre 4 y 5.
6. (A B) ((A (B C)) (A B)) A1.
7. A B, hipotesis.
8. ((A (B C)) (A B, MP 7 y 8.
9. ((A (B C)) (A B)) [(A (B C)) (A B
A)] ((A (B C)) A) A2.
10. [(A (B C)) ((A B) A)] ((A (B C)) A,
MP 7 y 10.
11. (A (B C)) A MP 9 y 11.
12. falta este u
ltimo.
n 3.5. reglas derivadas:
Proposicio
1. ` .
2. ` .
3. ` .
4. , ` .
5. ` .
6. ` .
7. ` .
8. ` .
9. , ` .
10. , ` .
11. , ` ( ) .
12. , ` .
13. , ` .
14. ` .
15. ` .
16. , ` , (Reduccion al absurdo).
17. , ` , (Reduccion al absurdo mas fuerte).
18. , ` .
19. , ` .

PROPOSICIONAL
20.
21.
22.
23.
39
` .
` .
` .
` .
(20)-(23) se conocen como contrapuestas.
Estas son algunas reglas que se derivan de los axiomas, se demostraran

algunas, el resto se queda como ejercicio.
Regla derivada 1: ` .
1. ` ( ), A1.
2. ` , hipotesis.
3. ` , MP 1 y 2.
Regla derivada 17: , ` .
1. , ` ( ) (( ) )
A9.
2. , ` , hipotesis.
3. , ` ( ) , MP 1 y 2.
4. , ` , hipotesis.
5. , ` , MP 3 y 4.
6. , ` MP 4 y 5.
Regla derivada 4: , `
1. , `
2. , ` , por regla derivada 1.
3. , ` , hipotesis.
4. , ` , por regla derivada 1.
5. , ` por regla derivada 16 a .
Regla derivada 19: , ` .
1. , `
2. , , ` , regla derivada 4.
3. , ` , teorema de la deduccion.
4. , ` ( ) regla derivada 11.
5. , ` Hi
potesis.
6. , ` MP 4 y 5.
n 3.6. Si y son tautologias entonces es una
Proposicio
tautologa.
Demostracion: Ejercicio.
Ejercicios 10.
1. Demostrar la proposicion 3.6.

1. LOGICA
PROPOSICIONAL
40
3.0.5.
Correctud y completud.
Teorema 3.7. (De correctud) Si ` entonces es una tautologa.

Demostracion: Los axiomas son tautologias y MP preserva tautologias.2
Teorema 3.8. (De completud extendido) Sea un conjunto de formulas proposicionales y una formula proposicional, si ` entonces
.
Demostracion: Si V : P 2 hace verdaderas a todas las formulas
de entonces hace verdaderas a todos los axiomas, ademas si V () =
1 V ( ) = 1 entonces V () = 1 por lo tanto MP preserva
consecuencia logica.2
n 3.9. Un conjunto de formulas es consistente si no
Definicio
existe una formula tal que ` y ` .
n 3.10. Si es inconsistente, entonces ` para toda
Proposicio
formula .
Demostracion: ejercicio.
Observacion: El calculo de proposiciones es consistente, pues no
se puede deducir en el ninguna formula que no sea tautologa.
Teorema 3.11. (Completud) Si es una tautologa entonces ` .
Demostracion (Kalmar): Sea cualquier formula proposicional, y
sea p1 , . . . , pk las letras que aparecen en y V : P 2 fija.
Definimos pj y j como sigue:
si V (pj ) = 1
p j
Pj =
p siV (p ) = 0
j
j
si V (j ) = 1
j
j =
siV ( ) = 0
j
j
Por lo tanto p1 , . . . , pk `
Ahora por induccion sobre la formacion de .

1. es una letra proposicional, entonces k = 1 y es p, y p1 ` pk
o p1 ` pk .

PROPOSICIONAL
41
2. es la negacion de y cumple.
Si V () = 1 entonces V () = 0 y es , la negacion de es
p1 , . . . , p1 ` .
Si V () = 0 entonces V () = 1 y es , p1 , . . . , pk ` ,
es
y
es , por lo tanto p1 , . . . , pk ` .
3. Si es y y cumplen, entonces hay dos posibilidades:
V () = 1, entonces: V () = 1 y V () = 1 y por lo tanto
es , es y es .Por hipotesis de induccion se tiene que:

p1 , . . . , pk ` .
p1 , . . . , pk ` y por lo tanto,
p1 , . . . , pk ` .
Ahora bien V () = 0, entonces: V () = 0 o V () = 0 y
por lo tantopor hipotesis de induccion se tiene que:
` ( ) .
` .
` ( ) .
` ( ).?
De ? se deduce que p1 , . . . , pk ` ( ).
4. Para la conjuncion, la implicacion y la doble implicacion se siguen una combinacion de los casos anteriores.
Lema 3.12. Sean y formulas y un conjunto de formulas,
entonces si , ` y , ` entonces: `
Demostracion: Por teorema de la deduccion:
` , Hipotesis.
` , Hipotesis.
` , Contrapuesta en (2).
` , Contrapuesta en (1).
` ( ) (( ) ), regla 17 de la proposicion
3.5.
6. ` ( ) , MP de (5) y (3).
7. ` , MP de (6) y (4).
1.
2.
3.
4.
5.
Demostracion (teorema de completud):

Para cada asignacion V si p1 , . . . pk LP () (letras proporcionales que
aparecen en ) p1 , . . . pk `
, si es una tautologa entones para cada
asignacion V,
es . Por lo tanto p1 , . . . pk1
, pk ` y p1 , . . . pk1
, pk
` por lema anterior se tiene que p1 , . . . pk1
` repitiendo ese argumento k-1 veces tenemos que ` .2
Teorema 3.13. (Completud extendido) Si |= entonces ` .

1. LOGICA
PROPOSICIONAL
42
Demostracion:
Si ` , entonces
V por compacidad existe 0 finito talVque 0 ` ,
por
V lo tanto ( 0 ) es una tautologa. y entoces ` ( 0 ) y
( 0 ) ` .2
Ejercicios 11.
1. Demostrar la proposicion 3.10.
2. Si es inconsistente entonces ` y ` .
3.1.
Formas Normales.
1. Disyuntiva:
Sea una formula con P1 , . . . , Pn letras proposicionales. Si
no es una contradiccion, entonces existe una u
nica (salvo perW
mutaciones) formula de la forma kj=1 j donde cada j es de
la forma
P1 . . . Pn y cada Pi es o bien Pi o Pi
tal que .
2. Conjuntiva:
Sea una formula con P1 , . . . , Pn letras proposicionales. Si no
es una tautologa, entonces existe una u
nica (salvo permutacioV
nes) formula de la forma kj=1 j donde cada j es de la forma
P1 . . . Pn y cada Pi es o bien Pi o Pi
tal que .
Demostracion:
1. Para cada asignacion V : P = {P1 , . . . , Pn } 2 tal que
V () = 1, definamos
V
Pi = Pi si V (Pi ) = 1 o bien Pi si V (Pi ) = 0.
V
V
Observe que P1 . . . Pn |= , por que la u
nica asignaV
cion W que hace verdaderas a todas Pi es V .

V
V
Por lo tanto P1 . . . Pn |= para toda asignacion V
que haga verdadera a .
W
V
V
entonces := {P1 . . . Pn : V () = 1} |= .
Ahora bien, sea W : P 2 tal que W () = 1.
w
w
Por lo tanto W (P1 . . . Pn ) = 1, entonces W () = 1.

PROPOSICIONAL
43
2. Es la demostracion dual de la Disyuntiva, es decir se hace conV

siderando V () = 0, y definiendo Pi para cada i = 1, . . . , n
V
de modo que Pi = Pi si V (Pi ) = 0 o bien Pi si V (Pi ) = 1. 2
Ejemplo:
La forma normal disyuntiva: P1 (P2 P3 ) (P1 P2 P3 )
(P1 P2 P3 ) (P1 P2 P3 )
La forma normal conjuntiva: P1 (P2 P3 ) (P1 P2 P3 )
(P1 P2 P3 ) (P1 P2 P3 ) (P1 P2 P3 ) (P1 P2 P3 ).
Corolario 3.14. Toda formula proposicional equivalente a otra
escrita solo con , , .
Mas a
un, toda formula proposicional equivale a otra escrita u
nicamente con , . Esto se puede por las Leyes de Morgan.
n 3.15. Un conjunto de conectivos G es completo si toda
Definicio
formula proposicional es equivalente a otra escrita u
nicamente usando
conectivos de G.
Ejemplo:
{, }, {, } son completos.
{, } es completo, ya que .
{, } no es completo, ya que por ejemplo no se puede deducir
.
Existe alg
un conectivo el cual es completo por si solo?
Es decir, existe alg
un tal que V (P P ) = 0 V (P ) = 1 ?
Si existen, estos son N AN D y N OR.
Definimos N AN D y N OR como sigue:
P N AN D Q (P Q).
P N OR Q
(P Q).
Ejercicios 12.
1. Demostrar que {N AN D} y {N OR} son
conjuntos completos.
Captulo 2
L
ogica de Predicados
En cierto sentido la logica de predicados es una extension de la logica de proposiciones ya que hereda los conectivos y los interpreta de
la misma forma. Adicionalmente la logica de predicados permite expresar relaciones entre individuos de un universo, operarlos, representar
elementos arbitrarios a traves de variables y cuantificar sobre ellos.
La logica de predicados suele recurrir a smbolos de diferentes naturalezas. Un grupo de simbolos es com
un a cualquier interpretacion
de tal lenguaje, pero otros pueden o no ser necesarios. Esto dependera
del tipo de estructuras que se tengan en consideracion.
1.
Estructuras de Primer Orden
Antes de presentar los lenguajes de Primer Orden, delimitaremos

los objetos a los que tienen como referente. Para nuestra fortuna, podemos echar mano de nuestra experiencia como matematicos para extraer
ejemplos. Uno clasico es Z el anillo de los enteros. Este

consta de un
conjunto (que damos por bien conocido) Z, en el cual estan definidas
dos operaciones, la suma y la multiplicacion. Cero se llama el elemento
de Z que hace las veces de neutro aditivo, y uno se llama el neutro
multiplicativo. Tanto la suma como la multiplicacion son operaciones
binarias, es decir son funciones que a pares (ordenados) de n
umeros
enteros, asignan nuevos n
umeros enteros, por ejemplo, la suma al par
(3,2) le asigna el 5. Cero y uno son simples elementos de Z, pero distinguidos. En principio, carece de sentido sumar conjuntos de enteros,
o funciones de enteros, las operaciones de suma y multiplicacion solo
trabajan con elementos de Z y devuelven siempre elementos de Z.
En Z hay todava mas estructura que la de ser anillo. Todos conocemos bien el orden de Z, el cual es una relacion binaria, esto es, compete
a pares de n
umero enteros. Por ejemplo, 3 < 5 pero no es el caso que
8 > 2. No tiene sentido (al menos no en principio) preguntarse si un
conjunto de enteros es menor que otro, o si una operacion es menor que
otra.
n 1.1. Una estructura de primer orden es una tupla A =
Definicio
hA, R, O, Ei donde:
45
46
2. LOGICA
DE PREDICADOS
A es un conjunto no vaco, llamado el universo o dominio de A.

R es una familia de relaciones sobre A, cada una de ellas con
una aridad, es decir, para cada R R existe un entero positivo
n tal que R An . En este caso decimos que R es una relacion
n-aria.
O es una familia de operaciones sobre A, cada una con su aridad,
es decir, cada f en O es una funcion de An en A, donde n es la
aridad de f .
Los elementos de E son llamados elementos distinguidos de A,
y no tienen mas requisitos que cumplir, que ser elementos de A.
Volviendo al ejemplo de los enteros, pordemos considerar a estos de
diferentes maneras. Como anillo, los enteros se ven as:
Z = hZ, , {+, }, {0, 1}i
donde significa que no se consideran relaciones, + y son dos operaciones, debiendo especificar que ambas son binarias, y 0 y 1 son elementos distinguidos.
Como estructura ordenada, podemos considerar a los enteros como
Z0 = hZ, {<}, , i
debiendo especificar que < es una relacion binaria.
La definicion de estructura de primer orden nos autoriza a considerar a los enteros con todas o mas o ninguna de estas relaciones,
operaciones y elementos distinguidos. Por ejemplo, podemos expandir
a Z agregando el orden, y obtenemos
Z00 = hZ, {<}, {+, }, {0, 1}i.
En general, las estructuras de primer orden se pueden expandir o
reducir, lo cual solo significa que se va a poner atencion a algunas de las
relaciones, operaciones o elementos de estas, sin que por ello los objetos
matematicos cambien. Solo por no dejar pasar la ocasion daremos la
definicion precisa de expansion y reduccion.
n 1.2. Sean A = hA, R, O, Ei y B = hB, R0 , O0 , E 0 i dos
Definicio
estructuras de primer orden. Decimos que A es un reducto de B, o que
B es una expansion de A si A = B, R R0 , O O0 y E E 0 .
Otro modo de comparar estructuras es por su tipo. No daremos
ahora una definicion del tipo de una estructura, lo cual es u
til pero
engorroso, mejor diremos cuando dos de ellas tienen el mismo tipo.
n 1.3. Decimos que A y B tienen el mismo tipo si hay
Definicio
biyecciones t1 , t2 , t3 de R, O y E en R0 , O0 y E 0 respectivamente, que
preservan aridades, es decir, si R R entonces la aridad de t1 (R) es
2. LENGUAJES DE PRIMER ORDEN
47
igual a la aridad de R y si f O entonces la aridad de t2 (f ) es igual

a la aridad de f .
Por ejemplo, todos los anillos y los campos tienen el mismo tipo,
mientras que los grupos aditivos de anillos son reductos de anillos.
Ahora explicaremos que tiene de primero el primer orden de estas
estructuras. El asunto es sencillo. La estructura considerada concierne
solo a individuos de un universo. Relacionar individuos, operar individuos y distinguir individuos es lo que se permite en primer orden. Lo
que no se permite es operar o relacionar conjuntos de inviduos, operar o
relacionar operaciones o relaciones entre individuos, ni entre conjuntos
de conjuntos de individuos, etc. Las estructuras que consideran tales
posibilidades no son de primer orden, por ejemplo los espacios topologicos son estructuras de segundo orden. Teniendo la herramienta del
lenguaje, podremos abundar sobre esta diferencia.
Como comentario final, se debe se
nalar que el estudio de las estructuras matematicas, es decir, su clasificacion y demas aspectos, son lo
que se conoce como algebra universal. En lo sucesivo seguiremos estudiando mas de esos aspectos, pero por lo pronto conviene regresar a los
lenguajes de predicados de primer orden.
Ejercicios 13.
1. Es obvio que el grupo aditivo de un anillo es un reducto de tal
anillo. Sera que todo grupo es reducto de un anillo? Sugerencia:
consulte un algebrista.
2. Es posible expandir o reducir a un anillo para que sea del
mismo tipo que una algebra booleana?
3. Los espacios vectoriales son estructuras de primer orden? y
los grafos (dirigidos y sin dirigir)?
2.
Lenguajes de Primer Orden
Los lenguajes de primer orden estan dise

nados para ser interpretados en estructuras de primer orden, as que para diferentes tipos de
estructuras, seran adecuados diferentes tipos de lenguajes. En com
un,
los lenguajes de primer orden incluyen los siguientes smbolos basicos:
1. Variables individuales: Un conjunto infinito numerable, tpicamente usaremos v0 , v1 , v2 , . . . .
2. Smbolo de igualdad =
3. Conectivos: Los mismos que en logica proposicional.
4. Cuantificadores: Universal y existencial .
5. Smbolos auxiliares: parentesis derecho ), coma , y parentesis
izquierdo (.

2. LOGICA
DE PREDICADOS
48
Y seg
un el tipo de estructuras que deseemos discutir, un lenguaje de
predicados de primer orden (en lo sucesivo lppo) contendra smbolos de
relacion que se llamaran letras predicativas, smbolos de operacion que
llamaremos letras funcionales y smbolos de constante que llamaremos
constantes individuales. Los lenguajes se vincularan con las estructuras
en virtud de su tipo.
n 2.1. Un tipo es un par = hL, ai donde L es un conDefinicio
junto de smbolos, conformado por la union de tres conjuntos
S ajenos
y posiblemente vacos, P, F y C, y a es una funcion de P F en los
enteros positivos, que por razones naturales, llamaremos aridad.
La interpretacion de un lppo de un tipo, debe ser una estructura
del mismo tipo, es decir,
n 2.2. Sean un tipo y A = hA, R, O, Ei una estructura.
Definicio
Diremos que A es de tipo , (o -estructura) si existe una funcion
I : L R O E tal que
1. I P es una biyeccion de P sobre R que respeta aridades, es
decir, la aridad de I(P ) es a(p).
2. I F en una biyeccion de F sobre O que respeta aridades, es
decir, la aridad de I(f ) es a(f ).
3. I C es una funcion de C sobre E. Ojo: solo tiene que ser
suprayectiva, no tiene por que ser biyectiva.
Una funcion I de este estilo se llama funcion de interpretacion, y da
la clave para interpretar todo lo correctamente escribible en el lenguaje
L en una estructura del mismo tipo.
Volviendo al ejemplo de los enteros, un lenguaje del tipo adecuado
para Z debe incluir dos letras funcionales digamos f y g con a(f ) = 2 =
a(g) y dos constantes individuales, digamos c y d. Una interpretacion
posible es I(f ) = +, I(g) = , I(c) = 0, I(d) = 11.
A continuacion formaremos las expresiones de los lppo que pueden
tener sentido. En este caso consideraremos dos sentidos diferentes. En
primer lugar las expresiones cuyo referente es un elemento del universo,
y en segundo lugar las que expresan que alguna relacion se da entre
individuos de ese universo.
n 2.3. (Informal) Termino es una expresion que repreDefinicio
senta a un individuo de un universo.
1Conviene
en este punto aclarar que estas ecuaciones intentan abreviar frases

como La interpretaci
on de f es la operaci
on suma. De ning
un modo se pretende
decir que I(f ) es una crucecita
2. LENGUAJES DE PRIMER ORDEN
49
La anterior definicion parece bien hecha, pero es un reto para el

lector determinar si la expresion del espa
nol Sinforiano es o no un
termino de este lenguaje. El espa
nol carece de reglas para formar terminos, pero un lenguaje que se precie de ser formal s debe tenerlas.
Procedemos a dar una definicion formal de manera recursiva.
n 2.4. (Recursiva) Son terminos de un lenguaje L
Definicio
las variables,
las constantes de L, y
las expresiones de la forma f (t1 , . . . , tn ) donde cada ti es un
termino.
Entrados en gastos, distinguiremos las formulas de un lenguaje de
predicados, dejando para despues las interpretaciones.
n 2.5. (Informal) Formula es una expresion que se interDefinicio
preta como alguna relacion que puede ocurrir o no entre individuos del
universo de interpretacion.
Nuevamente, en el lenguaje espa
nol no tenemos un criterio para
decidir si una expresion tiene sentido, o ya no digamos, que se pueda
calcular su valor de verdad. En los lenguajes de predicados siempre
hay reglas para definir las formulas, que capturan la intencion de la
definicion informal, y que sirven como criterio para decidir cuando una
expresion es formula. La construccion de las formulas es recursiva, y a
las expresiones que sirven como base se les llama formulas atomicas,
que se pueden obtener de dos modos:
Si t1 y t2 son terminos t1 = t2 es formula atomica.
Si P es un smbolo de relacion de aridad n, y t1 , . . . , tn son
terminos entonces P (t1 , . . . , tn ) es una formula atomica.
El paso recursivo de la construccion de formulas se describe como
sigue:
Las formulas atomicas son formulas.
Si y son formulas entonces: (), ( ), ( ), ( ),
( ) son formulas.
Si es una formula y x es variable, entonces: x y x son
formulas.
Ejercicios 14.
1. Decida si las siguientes expresiones del espa
nol son o no terminos:

2. LOGICA
DE PREDICADOS
50
2.
3.
4.
5.
6.
a) La tierra
b) Las piramides de Egipto
c) El amigo de la hermana de un se
nor que no vino a la fiesta
d ) El ave fenix
Enumere los terminos construibles en el lenguaje L = .
Demuestre que un termino solo involucra una cantidad finita de
smbolos, lo mismo que una formula.
Si L es un lenguaje de primer orden que tiene una cantidad
finita de smbolos, cuantos terminos del lenguaje L hay? y
si L es infinito numerable? y si es infinito no numerable? y
cuantas formulas en cada caso?
Como ejercicio de induccion, pruebe que todo termino y toda
formula tienen tantos parentesis izquierdos como derechos.
Enuncie y demuestre un principio de recursion para terminos y
otro para formulas, en el sentido del Teorema 1.2.
3.
Sem
antica de la l
ogica de primer orden
Sean un tipo con lenguaje L, y A una estructura de tipo , con

funcion de interpretacion I. La funcion de interpretacion da la clave
con la que podemos interpretar terminos y calificar de verdaderas o
falsas a las formulas.
3.1. Interpretaci
on de t
erminos. La interpretacion de los terminos se hace de manera recursiva, esto quiere decir que interpretaremos primero los terminos mas basicos, y luego los que se forman
recursivamente. La funcion de interpretacion hace la mitad del trabajo,
pues las constantes y las letras funcionales estan en el dominio de I,
pero las variables no tienen modo de quedar interpretadas desde el principio, y que bueno que as sea! La intencion de tener variables es que
estas sean interpretables como cualquier individuo de su dominio de
interpretacion, sin restricciones. As pues, la intepretacion de terminos
se conseguira con el auxilio de una especie de interpretacion ocasional
de las variables.
Un segundo detalle sobre las interpretaciones ocasionales es que probablemente tengamos que hacer muchas. Si un termino incluye muchas
variables, tenemos la obligacion de interpretar a todas las que aparecen.
Ya entrados en gastos, podemos de plano considerar a todas las posibles interpretaciones de todas las variables a la vez. Cada una de ellas
no es mas que una funcion s cuyo dominio es el conjunto de variables
V ar y su contradominio es A, el universo de A. Llamaremos asignacion de valores a las variables (avv) a las funciones de esta clase. Con
esto, ahora definiremos la interpretacion Is de todos los terminos en A,
3. SEMANTICA
DE LA LOGICA
DE PRIMER ORDEN
51
bajo una avv s, recursivamente. Notemos ahora que tal interpretacion

es una funcion que va del conjunto de -terminos en A.
Si t es una variable, digamos x, Is (t) es s(x), es decir, el valor
que s asigna a x.
Si t es una constante, digamos c, Is (t) es el elemento distinguido
I(c) de A. Tambien suele denotarse a Is (c) por cA .
Sea f una letra de funcional de aridad n, y sean t1 , . . . , tn terminos. Entonces la intepretacion Is (f (t1 , . . . , tn )) es el resultado
de evaluar a I(f ) en la n-tupla (Is (t1 ), Is (t2 ), . . . , Is (tn )).
Una primera observacion destacable es que no hay terminos que incluyan a todas las variables a la vez, puesto que estas son una infinidad
mientras que solo una cantidad finita de ellas pueden estar incluidas
en un termino dado. La siguiente observacion puntualiza el hecho de
que la interpretacion de variables que no aparecen en un termino, es
irrelevante para la interpretacion de este.
n 3.1. Sean t un termino, x1 , x2 , . . . xn las variables
Observacio
que aparecen en t y s1 y s2 dos avv tales que s1 (xi ) = s2 (xi ), para todo
i = 1, . . . , n. Entonces Is1 (t) = Is2 (t).
La demostracion de este hecho queda como un sencillo ejercicio de
induccion para el lector. Como consecuencia directa de 3.1 se tiene que
Is (c) = Is0 (c) para cualesquiera asignaciones s y s0 y toda constante c.
Una popular forma de definir terminos es por sustitucion. Dentro
de un termino, es posible distinguir terminos mas simples, por ejemplo,
variables. Si disponemos de dos terminos, digamos t y r, y la variable x
aparece en t, podramos reemplazar todas las apariciones de la variable
x para poner en su lugar al termino r.
n 3.2. Denotaremos por t(x/r) al termino que resulta al
Notacio
reemplazar todas las apariciones de la variable x por r en t.
Es mas engorroso que u
til, pero definiremos recursivamente esta
operacion, incluyendo el caso en el que x no apareciera en t.
n 3.3. Sean t y r dos terminos y x una variable.
Definicio
1. Si t es una variable, entonces tenemos dos casos:
a) si t es la variable x entonces t(x/r) es r,
b) si t no es x entonces t(x/r) es t.
2. Si t es una constante, entonces t(x/r) es t.
3. Si existen una letra funcional f de aridad n y terminos t1 , . . . , tn
tales que t es f (t1 , . . . , tn ), entonces t(x/r) es el termino f (t1 (x/r), . . . , tn (x/r).
52
2. LOGICA
DE PREDICADOS
Es claro que t(x/r) es un termino, aunque una demostracion formal

de este hecho se debara hacer por induccion. Ahora bien, la interpretacion de un termino de esta forma se puede calcular en base a la
interpretacion de t, pero no necesariamente con la misma asignacion de
valores a las variables.
n 3.4. Sean s una avv, x una variable y a un elemento de
Notacio
A. Denotaremos por s[x/a] a la avv definida por
s(y) si y no es x
s[x/a](y) =
a
si y es x
En otras palabras, s[x/a] act
ua exactamente de la misma manera
que lo hace s en todas las variables excepto x, a la cual le asigna el valor
a. La siguiente proposicion nos dice como calcular la interpretacion de
un termino que se ha obtenido por reemplazar una variable por otro
termino.
n 3.5. Sean t y r terminos y s una avv. Entonces
Proposicio
Is (t(x/r)) es igual a Is[x/Is (r)] (t).
n. Procederemos por induccion sobre la formacion
Demostracio
de t. Para ahorrar escritura, denotemos por s0 a s[x/Is (r)].
Si t es la variable x entonces t(x/r) es r, y por tanto Is0 (t) = Is0 (x) =
s0 (x) = Is (r) = Is (t(x/r)).
Si t es una variable y distinta de x o una constante, entonces t(x/r)
es t, y as Is0 (t) = Is (t(x/r)), pues s y s0 coinciden en todas las variables
que aparecen en t.
Supongamos que f es una letra funcional de aridad n y t1 , . . . , tn
son terminos que cumplen Is0 (tj ) = Is (tj (x/r)) para todo j = 1, . . . , n,
entonces:
Is0 (f (t1 , . . . , tn )) = I(f ) (Is0 (t1 ), . . . , Is0 (tn ))
= I(f ) (Is (t1 (x/r)) , . . . , Is (tn (x/r))) = Is (f (t1 , . . . , tn )(x/r)) .

3.2. Interpretaci
on de f
ormulas. Si t1 y t2 son terminos entonces A |= (t1 = t2 )[s] si y solo si Is (t1 ) = Is (t2 ) (son el mismo objeto,
se interpretan como la misma cosa).
Ejemplo: t1 = 2 + 6, t2 = 5 + 3, Is (t1 ) = Is (t2 ), note que t1 6= t2 .
3. SEMANTICA
DE LA LOGICA
DE PRIMER ORDEN
53
Si p es una letra relacional de aridad n y t1 . . . , tn son terminos entoces A |= p(t1 . . . , tn )[s] si y solo si hIs (t1 ), . . . , Is (tn )i en esta relacion pA .
La satisfaccion de una formula obtenida por aplicacion de un conectivo logico se obtiene de la manera ya conocida, es decir se satisface
si y solo si no se satisface.
Inductivamente supongamos definida la relacion A |= [s0 ] bajo
toda asignacion s0 .
n 3.6. (De satisfaccion de Tarski)
Definicio
A |= x[s], si para toda asignacion s0 que cumpla que s0 (y) =
s(y) para toda variable y distinta de x sucede que A |= [s0 ].
A |= x[s] si existe una asignacion s0 que cumpla que s0 (y) =
s(y) para toda variable y distinta de x sucede que A |= [s0 ].
Cuales variables son relevantes en la interpretacion de una formula?
Aquellas que aparecen en la formula y que ademas se encuentran lejos
de un cuantificador.
Ejemplo:
y(y > 3 y > 2) x = 8
En este caso la variable relevante o que puede ser interpretada libremente es x = 8.
Note que en una misma formula puede haber pedazos cuantificados y otros sin cuantificar con la misma variable, como en la formula:
x(x > 3 x > 2) x = 8 que equivale a la anterior.
Note que no toda subexpresion de es una subformula, por ejemplo:
= x(3 < x 2 < x) x = 8
y sea = 2 < x) x = 8, es una subexpresion pero no es subformula.
n 3.7.
Definicio
Sea una formula y x una variable. Supongamos que x aparece
en en la j-esima posicion.
Una subformula de contiene a la j-esima posicion de si
existe n < j tal que k < ||, (k + n) = (k).
54
2. LOGICA
DE PREDICADOS
Se dice que x aparece libremente en la j-esima posicion de si

para cada subformula de que contiene a la j-esima posicion
de , sucede que no es de la forma x.
n 3.8. Sea una formula, s1 y s2 dos asignaciones de
Proposicio
valores a las variables en una estructura A. Si s1 (x) = s2 (x) para toda
variable que tiene al menos una aparicion libre en entonces
A |= [s1 ] s y solo s A |= [s2 ]
Demostracion:
Por induccion sobre la formacion de .
atomica
Se deja como ejercicio para el lector.
booleana
El razonamiento es el mismo que para atomica.
de la forma x
Caso 1:
Si x no aparece libre en , entonces las variables libres de
son las mismas que las de x.
A |= x[s1 ] s y solo s existe s0 tal que s1 (y) = s0 (y) cuando
y 6= x tal que A |= [s0 ].
Como s0 coincide con s1 en todas las variables libres de , tambien coincide con s2 en todas las variables libres de . Por H.I
s y solo s existe s0 que coincide con s2 en todas las variables
libres de tal que,
A |= [s0 ] s y solo s A |= x[s2 ].
Caso 2:
Si x aparece libre en . Entonces A |= x[s1 ] s y solo s existe
s0 que coincide con s1 en todas las variables excepto x tal que
A |= [s0 ].
Observe que s0 coincide con s2 en todas las variables libres de
excepto por x.
definamos una asignacion s00 como sigue:
s00 (x) = s0 (x), s00 (y) = s2 para toda y 6= x s y solo s existe s00
que coincide con s2 en todas las variables excepto en x tal que
A |= [s00 ].
Esto por que coincide con s0 en todas las variables libres de
s y solo s por definicion de Tarski A |= x[s2 ].
3. SEMANTICA
DE LA LOGICA
DE PRIMER ORDEN
55
n 3.9. es verdadera A si para toda asignacion s de

Definicio
valores a las variables, A |= [s]. i.e Todas las asiganciones hacen verdaderas a .
n 3.10. Un enunciado es una formula que no tiene vaDefinicio
riables libres.
Observacion: Si es un enunciado y existe s asigancion tal que
A |= [s] entonces para toda t asignacion, A |= [t] es decir, si una
asigancion satisface a en A, es verdadera.
Mas a
un, si es enunciado y hay s asignacion tal que A 2 [s]
entonces es verdadera en A.
Notacion: A |= significa que es verdadera en A.
Observacion: Si es verdadera en A y x es una variable que aparece
libre en entonces A |= x.
Ejercicios 15.
1. Demuestre la observacion 3.1.
2. Escribir los casos de la induccion en la proposicion 3.8 que no
fueron demostrados.
3. Sera exagerado haber pedido que los lenguajes de primer orden
contengan una infinidad de variables? de alg
un modo limita los
lenguajes de primer orden el hecho de que solo disponen de una
cantidad numerable de variables?

Logica Matematica

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica Matematica

Enviado por

Direitos autorais:

Formatos disponíveis

Notas de L

Michoacana de San Nicolas de Hidalgo

Resumen. Las presentes notas de clase corresponden al curso de

Captulo 1. Logica Proposicional

Captulo 2. Logica de Predicados

[0, 1] representa al intevalo [0, 1].

La negacion, cuya forma mas frecuente es la palabra no, y que

La primera etapa en la matematizacion de la logica proposicional

consiste en dar tratamiento matematico a su lenguaje. Este

Pruebe por isff que si w1 y w2 estan en V , entonces para toda

2.1. Tautologas e Implicaci

En general (i.e, en cualquier sistema logico) la aspiracion 1 se puede

n 2.4. Sean P = hP, i una retcula y a, b, c P . Las

Notacion: ac denotara al complemento de a. Veamos las propiedades

n 2.8. Sea P una retcula distributiva con maximo y

a b := ac b (el complemento de a relativo a b).

En los ejercicios de esta seccion el lector se familiarizara con estas

n 2.14. Decimos que A P tiene la propiedad de la

3. Sean A cualquier conjunto y B A. La funcion : P(A)

Sea c P tal que [c] v [a] y [c] v [b], entonces cc a F y cc b F ,

p P. Entonces p pc = 1 F , y por (2), p F o pc F . (3 4).

2. Sea un homomorfismo de algebras booleanas y a y b en el

Ejemplo 2.31. El arbol signado para la formula (P S) ((R

n 2.32. Decimos que una rama esta muerta si hay una

2.5. Satisfacibilidad e implicaci

En general, para cualquier conjunto parcialmente ordenado finito

Definamos un lenguaje de proposiciones

a v b si y solo si v (A(a, b)) = 1.

El lector queda comprometido a verificar los detalles a manera de

Teorema 2.37. (Compacidad) Sea T un conjunto de formulas de

v(P ) = 1 si P 1 esta en R y v(P ) = 0 si P 1 no esta en R. As,

2.6. Consecuencias del Teorema de Compacidad.

n. Sea P = {A(p, q) : p, q P} {P (p, i) : p P

En esta seccion, ejemplificaremos el modus operandi de la teora

Ejemplo 3.1. Haremos una deduccion de la formula P P :

Es una buena costumbre enumerar el lugar que cada formula ocupa

Teorema 3.4. (De la deduccion): Sea { , } un conjunto

Estas son algunas reglas que se derivan de los axiomas, se demostraran

Teorema 3.7. (De correctud) Si ` entonces es una tautologa.

Ahora por induccion sobre la formacion de .

es , es y es .Por hipotesis de induccion se tiene que:

Demostracion (teorema de completud):

cion W que hace verdaderas a todas Pi es V .

2. Es la demostracion dual de la Disyuntiva, es decir se hace conV

Estructuras de Primer Orden

Antes de presentar los lenguajes de Primer Orden, delimitaremos

ejemplos. Uno clasico es Z el anillo de los enteros. Este

A es un conjunto no vaco, llamado el universo o dominio de A.

2. LENGUAJES DE PRIMER ORDEN

igual a la aridad de R y si f O entonces la aridad de t2 (f ) es igual

Lenguajes de Primer Orden

Los lenguajes de primer orden estan dise

en este punto aclarar que estas ecuaciones intentan abreviar frases

2. LENGUAJES DE PRIMER ORDEN

La anterior definicion parece bien hecha, pero es un reto para el

Sean un tipo con lenguaje L, y A una estructura de tipo , con

bajo una avv s, recursivamente. Notemos ahora que tal interpretacion

Es claro que t(x/r) es un termino, aunque una demostracion formal

Se dice que x aparece libremente en la j-esima posicion de si

n 3.9. es verdadera A si para toda asignacion s de

Você também pode gostar