Professional Documents
Culture Documents
: V, F V, F tal que:
f
(V ) = F
f
(F) = V
15
Conjuncion
p q p q
V V V
V F F
F V F
F F F
La correspondiente funcion de verdad
f
: (V, F)
2
V, F es:
f
(V, V ) = V
f
(V, F) = F
f
(F, V ) = F
f
(F, F) = F
esta es una funcion de dos argumentos.
Disyuncion
Sentido inclusivo.
p q p q
V V V
V F V
F V V
F F F
y la correspondiente funcion de verdad
f
: (V, F)
2
V, F es:
f
(V, V ) = V
f
(V, F) = V
f
(F, V ) = V
f
(F, F) = F
16
Sentido exclusivo.
p q p q
V V F
V F V
F V V
F F F
Podemos expresar la disyuncion exclusiva en terminos de la ne-
gacion, la conjuncion y la disyuncion de la forma siguiente:
(p q) (p q)
(p o q, pero no ambos)
Condicional
p q p q
V V V
V F F
F V V
F F V
La denicion que se acaba de dar del condicional choca con el
uso ordinario de si ... entonces ... (relacion causa-efecto entre
el contenido del antecedente y el consecuente):
Si llueve entonces cojo el paraguas
Por eso se nos antoja extravagante la combinaci on de enunciados
que nada tienen que ver entre s:
Si los burros vuelan entonces 2 + 2 = 4
que es un enunciado verdadero.
17
Criterio se le llama extensional : la logica de conectivas se atiene
estrictamente al valor de verdad de los enunciados y no tiene en
cuenta el contenido de estas ni las posibles relaciones de conte-
nido entre ellas.
(Condicional extensional, implicacion material, implicacion Filoni-
ca).
La construccion if-then, utilizada en muchos lenguajes de
programacion, tambien diere del condicional empleado en logi-
ca.
Termiologa:
- El condicional q p se denomina el converso de p q. - El
condicional q p se denomina la contraposicion de p q.
Bicondicional
Aqu, la situacion es clara: / B es verdadero cuando / y B ten-
gan el mismo valor de verdad (ambos verdaderos o ambos falsos).
p q p q
V V V
V F F
F V F
F F V
18
Observaciones 1.5.1
1. Existen otras conectivas binarias, a parte de las anteriores, aunque su
signicado intuitivo es menos claro. En total distinguimos 16 funciones
veritativas, donde:
f
1
Es una Tautologa (ver mas adelante).
f
2
Es la disyuncion de p y q (p q).
f
3
Implicacion conversa de p y q (p q).
f
5
Implicacion material o condicional (p q).
f
7
Coimplicacion o equivalencia material (p q).
f
8
Es la conjuncion p y q (p q).
f
9
Es la funcion de Sheer o Barra de Sheer (p[q),
p es incompatible con q. funcion Nand
(No conjuncion), equivale a ((p q)).
f
10
Disyuncion exclusiva (no equivalencia) (p q).
f
12
Negacion de la implicacion de p y q ((p q)).
f
14
Negacion de la implicacion conversa de p y q ((p q)).
f
15
Es la funcion de Peirce o Barra de Peirce (p q),
ni p ni q. funcion Nor (No disyuncion),
equivale a ((p q)).
f
16
Es una contradiccion (ver mas adelante).
el resto de las funciones no son facilmente reconocibles.
19
2. Las computadoras representan internamente la informacion median-
te el uso de bits. Un bit tiene dos posibles valores, llamados cero y
uno, que pueden emplearse (entre otras cosas, como codicar n ume-
ros en base binaria) para representar los valores de verdad F y V ,
respectivamente. As, las operaciones logicas pueden implementarse en
un computador.
El algebra de Boole estudia las operaciones que se pueden realizar
con el conjunto 0, 1.
Operaciones booleanas: complementacion , suma +, y pro-
ducto (se corresponden, respectivamente, con las conectivas logi-
cas , , y ).
Se utilizan en el dise no de circuitos electronicos y en la realizacion
de operaciones con bits.
Las operaciones + y suelen denominarse, habitualmente, ope-
raciones OR y AND.
Las operaciones con bits pueden extenderse a cadenas de bits (ope-
raciones bitwise).
Otras operaciones con bits muy empleadas son las denominadas
XOR, NOR, y NAND (se corresponden, respectivamente,
con las conectivas logicas , , y [).
20
Lo que hemos estado haciendo ha sido una valoracion de las variables
enunciativas y las formas enunciativas binarias.
Usando las tablas de verdad de las conectivas podemos construir la
valoracion de cualquier forma enunciativa, determinando el valor de
verdad de la misma a partir del valor de verdad de sus componentes
atomicos.
Al conjunto de todas las valoraciones de una forma enunciativa le
corresponde una funcion de verdad: las formas enunciativas son fun-
ciones de verdad o funciones veritativas.
Una valoraci on queda jada una vez establecida la corresponciente
atribucion veritativa de las variables enunciativas.
Denicion 1.5.2 (Atribuci on veritativa) Dada una forma enunciativa
/. Llamamos atribucion veritativa a una asignacion, , de valores de ver-
dad al conjunto, p
1
, p
2
, . . . , p
n
de variables enunciativas de /. Es decir,
una atribucion veritativa es una aplicacion : p
1
, p
2
, . . . , p
n
V, F.
21
Ejemplo 5 Sea la forma enunciativa / p q r. La asignacion de
valores de verdad
p q r
V F V
sera una de las ocho posibles atribuciones veritativas de /.
Denicion 1.5.3 (Valoracion) Dada una atribucion veritativa, , una
valoracion es una funcion cuyo dominio es el conjunto de las formas
enunciativas y cuyo rango es el conjunto V, F, tal que para cualesquiera
formas enunciativas / y B.
1. (/) = (/) si / es una variable enunciativa;
2. (/) = V si (/) = F;
3. (/ B) = V si (/) = V y (B) = V ;
4. (/ B) = V si (/) = V o (B) = V ;
5. (/ B) = V si no es el caso que (/) = V y (B) = F;
6. (/ B) = V si (/) = v(B);
Observacion 1.5.4
La denicion 1.5.3 es otro caso de denicion inductiva. Mas concreta-
mente, se trata de una denicion por induccion semiotica, basada en la
estructura de las formas enunciativas.
22
Para obtener sistematicamente todas las valoraciones de una forma
enunciativa, basta con construir su tabla de verdad. Proponemos dos
metodos que facilitan la construccion de tablas de verdad.
Ejemplo 6 Sea la forma enunciativa
/ (p q r) (p q r).
Con el primero de los metodos obtenemos la siguiente tabla de verdad:
p q r q p q p q r q r p q r /
V V V F V V V V V
V V F F V F F F V
V F V V F V V V V
V F F V F V V V V
F V V F F V V V V
F V F F F V F V V
F F V V F V V V V
F F F V F V V V V
y con el segundo de los metodos:
(p q r) (p q r)
V V V V V V V V F V V V
V V V F F V V F F V F F
V F F V V V V V V F V V
V F F V F V V V V F V F
F F V V V V F V F V V V
F F V V F V F V F V F F
F F F V V V F V V F V V
F F F V F V F V V F V F
23
A una forma enunciativa cualquiera, /, le corresponde una funcion
veritativa
f
/
: (V, F)
n
V, F
denida por su tabla de verdad.
Denicion 1.5.5 (Logicamente equivalente) Dadas dos formas enun-
ciativas, / y B, con funciones veritativas f
/
y f
B
asociadas. Se dice que
/ y B son logicamente equivalentes, denotado / B, si f
/
y f
B
son la
misma funcion de verdad.
Ejemplo 7 Algunas equivalencias notables:
(1) (p q) (p q) Denicion
(2) (p q) (p q) Denicion
(3) (p q) (q p) Equivalencia
(4) (p q) (p q) Leyes de DE MORGAN
(5) (p q) (p q) Leyes de DE MORGAN
(6) (p q) (q p) Conmutativa
(7) (p (q r)) ((p q) r) Asociativa
(8) (p (q r) ((p q) (p r)) Distributiva
(9) (p (p q)) p Absorcion
(10) p p p Idempotencia
(11) p F F Dominancia
(12) (p q) (q p) Conmutativa
(13) (p (q r)) ((p q) r) Asociativa
(14) (p (q r)) ((p q) (p r)) Distributiva
(15) (p (p q)) p Absorcion
(16) p p p Idempotencia
(17) p V V Dominancia
(18) (p) p Doble negacion
Aqu V denota una tautologa y F una contradiccion.
24
Observacion 1.5.6
Las equivalencias (4) a (18) se corresponden con las llamadas Leyes de
identidad del algebra de Boole. Estas leyes son particularmente utiles en
el dise no y simplicacion de circuitos electronicos.
25
Denicion 1.5.7
1. Una forma enunciativa es una tautologa si toma el valor de verdad V
bajo toda valoracion.
2. Una forma enunciativa es una contradiccion si toma el valor de verdad
F bajo toda valoracion.
3. Una forma enunciativa es una contingencia si toma el valor de verdad
V para unas valoraciones y F para otras.
El concepto de tautologa proporciona una nocion de verdad logica,
identicando aquellas formas enunciativas que son verdaderas bajo
cualquier circunstancia.
Saber en que categora, de estas tres, cae cada enunciado o forma enun-
ciativa es decidible. Basta calcular la tabla de verdad del enunciado o
forma enunciativa en cuestion.
Ejemplo 8
1. p p es una tautologa.
2. p p es una contradiccion.
3. p q es una contingencia.
26
Proposicion 1.5.8 / es logicamente equivalente a B si y solo si / B
es una tautologa.
Debido al resultado de la proposicion 1.5.8, en lugar de equivalencia
logica se habla en ocasiones de equivalencia tautologica.
Ejemplo 9 De acuerdo con la proposicion 1.5.8, las formas enunciativas
resultantes de sustituir el operador de equivalencia semantica () por el
bicondicional (), en el ejemplo 7, son tautologas.
Proposicion 1.5.9 Si / y / B son tautologas, entonces B es una
tautologa.
Observacion 1.5.10
En la prueba de esta proposicion se ha utilizado el conocido metodo de
demostracion por contradiccion o reduccion al absurdo.
27
La proposicion 1.5.9 reeja que la llamada regla modus ponens trans-
mite la tautologicidad, ya que si / y / B son tautologas, su con-
secuencia, B, tambien lo sera.
Otras propiedades signicativas son:
1. Las tautologas constituyen un conjunto de enunciados que es de-
cidible.
2. Las tautologas tienen la propiedad de la sustitutividad.
3. En las equivalencias tautologicas se cumple la ley de intercambio.
1.6. Conjuntos adecuados de conectivas: Interdenibilidad de
los conectores
Denicion 1.6.1 Un conjunto adecuado de conectivas es un conjunto tal
que toda funcion enunciativa puede representarse por medio de una forma
enunciativa en la que solo intervienen conectivas de ese conjunto.
, , , , , , , , , [ y son conjuntos adecuados
de conectivas.
28
As pues, tomando como base el negador y cualquiera de las otras tres
conectivas, o la barra de Sheer o la barra de Peirce, es posible denir
las restantes conectivas:
Leyes de interdenici on tomando como base y :
/ B (/ B) Denicion del disyuntor
/ B (/ B) Denicion del implicador
/ B (/ B) (B /) Denicion del coimplicador
Leyes de interdenici on tomando como base y :
/ B (/ B) Denicion del conjuntor
/ B / B Denicion del implicador
/ B ((/ B) (B /)) Denicion del coimplicador
Leyes de interdenici on tomando como base y :
/ B (/ B) Denicion del conjuntor
/ B / B Denicion del disyuntor
/ B B / Denicion del disyuntor
/ B (/ B) B Denicion del disyuntor
/ B (B /) / Denicion del disyuntor
/ B ((/ B) (B /)) Denicion del coimplicador
29
La barra de Sheer: /[B (/ B)
/ /[/
/ B (/[B) (/[B)[(/[B)
/ B /[B (/[/)[(B[B)
/ B /[B /[(B[B)
La Barra de Peirce: / B (/ B)
/ / /
/ B / B (/ /) (B B)
/ B (/ B) (/ B) (/ B)
/ B (/ B) [(/ /) B] [(/ /) B]
Observacion 1.6.2
Las ultimas equivalencias muestran el precio que hay que pagar, en termi-
nos de longitud y complicacion de las formas enunciativas, si se simplica
en exceso el conjunto de conectivas empleadas para representar las funcio-
nes veritativas.
30
1.7. Argumentacion y validez
Volvemos a tratar el tema de la correccion o validez de un argumento
desde una perspectiva rigurosa.
Denicion 1.7.1 (Forma argumentativa) Una forma argumentativa es
una sucesion nita de formas enunciativas, de las cuales la ultima se con-
sidera la conclusion y el resto las premisas.
Denicion 1.7.2 (Forma argumentativa valida) La forma argumen-
tativa
/
1
, /
2
, . . . , /
n
/
es invalida si existe una atribucion veritativa tal que /
1
, /
2
, . . . , /
n
toman
el valor V y A toma el valor F. En otro caso la forma argumentativa es
valida.
La siguiente proposicion pone de maniesto la relacion existente entre
argumentacion correcta y el condicional, ya mencionada al principio
de este captulo.
Proposicion 1.7.3 La forma argumentativa
/
1
, /
2
, . . . , /
n
/
es valida si y solo si la forma enunciativa
(/
1
/
2
. . . /
n
) /
es una tautologa.
31
Captulo 2
CALCULO PROPOSICIONAL: T.
DE LA DEMOSTRACION.
Conrmar la correccion de un argumento mediante el metodo
de las tablas de verdad plantea dicultades.
Por esta razon estamos interesados en la formalizacion de la
logica:
1. Denicion precisa de un lenguaje formal.
2. Reglas de deduccion que permita la manipulacion de smbo-
los.
La idea es encontar un procedimiento que nos permita cons-
truir una argumentacion paso a paso, sabiendo que cada paso
es valido.
32
La palabra formal se usa para referirnos a esa situacion en la
que se emplean smbolos cuyo comportamiento y propiedades
estan completamente determinados por un conjunto dado de
reglas.
En un sistema formal los smbolos carecen de signicado, y al
manejarlos hemos de tener cuidado de no presuponer nada
sobre sus propiedades, salvo lo que se especique en el siste-
ma.
Denicion 2.0.4 (Sistema formal, S) Un vocabulario: Un con-
junto (innito numerable) de smbolos a utilizar en S.
Reglas que establezcan que cadenas de signos son formulas
bien formados en S.
Un conjunto de las deniciones utilizadas.
Un conjunto de formulas bien formados de S que van a
utilizarse como axiomas.
Un conjunto nito de reglas de inferencia y de reglas de
construccion de una deduccion en S.
Las condiciones necesarias y sucientes que debe reunir una
deduccion para dar como resultado un teorema de S.
Axiomas adicionales de S.
33
Observaciones 2.0.5
1. Alfabeto, cadena de signos , formulas bien formadas.
2. Formalismo: conjunto de signos y cadenas de signos que son
parte de un sistema formal.
3. La teora de la demostracion estudia los formalismos con inde-
pendencia de toda interpretacion.
4. La expresion formula bien formada la abreviaremos me-
diante la notacion fbf. Las fbfs las deniremos inducti-
vamente.
5. En un sistema formal los axiomas pueden estar ausentes.
Un sistema formal es un concepto mas general que el con-
cepto de sistema axiomatico.
6. Cuando se empleen axiomas adicionales hablaremos de ex-
tension del sistema formal.
7. A un sistema formal, tambien suele denominarsele calculo.
34
2.1. El sistema formal L.
Church en 1956 (axiomas inspirados en Lukasiewicz).
Denicion 2.1.1 El sistema formal L del calculo de enunciados esta ca-
racterizado por:
1. Vocabulario: el conjunto de smbolos innito (numerable)
, , (, ), p
1
, p
2
, p
3
, . . .
2. Conjunto de fbfs:
a) p
1
, p
2
, p
3
, . . . son fbfs.
b) Si / y B son fbfs, entonces (/) y (/ B) son fbfs.
c) El conjunto de todas las fbfs es el generado por las reglas
a y b.
3. Deniciones:
(/ B) es abreviatura de: ((/ (B)))
(/ B) es abreviatura de: ((/) B)
(/ B) es abreviatura de: (((/ B) ((B /))))
4. Axiomas: Cualesquiera que sean las fbfs /, B y (, las si-
guientes fbfs son axiomas de L
(L1) (/ (B /))
(L2) ((/ (B ()) ((/ B) (/ ()))
(L3) (((/) (B)) (B /))
5. Reglas de inferencia:
Regla modus ponens (MP): de / y (/ B) se puede inferir
como consecuencia inmediata B.
35
Notad que el vocabulario y el conjunto de fbf s se han elegido
para que sean una representacion de las formas enunciativas.
El alumno debe ser consciente de que las nociones de forma
enunciativa y equivalencia logica son propias del contexto
semantico del captulo 1 y no tienen lugar en el contexto
p uramente sintactico del sistema formal L.
Se ha limitado el n umero de conectivas con el n de mantener
simple el sistema formal L.
La unica regla de inferencia de L, la regla modus ponens, tam-
bien es denominada regla de separacion, ya era conocida por los
losofos estoico y se corresponde con una forma de proce-
der habitual en los razonamientos realizados con el lenguaje
ordinario.
Los axiomas son la parte mas oscura del sistema (Comprobar
que tomados como formas enunciativas son tautologas).
36
Observaciones 2.1.2
1. Los puntos (1) y (2) caracterizan nuestro lenguaje. Los smbo-
los , y no son parte de L.
2. Lenguaje objeto (el lenguaje L) y metalenguaje (la combinacion
del lenguaje castellano con ciertos smbolos especiales).
3. Metateoremas: resultados que establezcamos sobre L, utilizan-
do el metalenguaje.
4. Hay innitos axiomas de L, por lo que hemos tenido que
especicarlos mediante esquemas de axiomas.
5. Es habitual visualizar las reglas de inferencia de forma si-
milar a como haciamos con las argumentaciones:
/ B
/
B
37
2.2. El concepto de deduccion formal
Denicion 2.2.1 (deduccion) Sea un conjunto de fbfs de L.
Una sucesion nita /
1
, /
2
, . . . , /
n
de fbfs de L, es una deducion
a partir de si para todo i 1, 2, . . . , n se cumple alguna de las
siguientes condiciones:
1. /
i
es un axioma de L,
2. /
i
3. /
i
se inere inmediatamente de dos miembros anteriores de
la sucesion, digamos /
j
y /
k
(con j < i y k < i), mediante
la aplicacion de la regla MP.
NOTACION:
L
/
n
.
Observaciones 2.2.2
1. Dada una deduccion /
1
, /
2
, . . . , /
n
se dice que es de longitud
n, donde n es el n umero de formulas en la sucesion.
2. En la denicion anterior, las formulas /
j
y /
k
deben ser
necesariamente de la forma B y B /
i
(o viceversa).
3. Si /
1
, /
2
, . . . , /
n
es una deduccion en L, tambien lo es /
1
, /
2
, . . . , /
k
,
con k < n.
4. Los axiomas y las premisas pueden emplearse en cualquier
punto de una deduccion.
5. El smbolo
L
es un metasmbolo y
L
/
n
lejos de ser parte
de L es un enunciado acerca de L: el enunciado que arma
que la fbf /
n
es deriveble a partir de .
38
Denicion 2.2.3 Una demostracion en L es una deduccion en L sin
premisas. Si la fbf / es el ultimo miembro de una demostraci on,
decimos que / es un teorema de L y escribimos
L
/.
Observaciones 2.2.4
1.
L
/ es una abreviatura de
L
/.
2. Los axiomas de L son teoremas de L.
39
Recomendaciones para la realizacion de una deduccion:
1. Si la formula a demostrar, B, guarda identidad formal, es
decir, es un caso particular de uno de los esquemas de
axiomas, la prueba esta hecha.
2. Cuando no se cumpla el primer criterio, se hara coincidir
la fomula a demostrar, B, (mediante las oportunas sus-
tituciones) con el consecuente de un implicador, / B,
de cualquiera de las formulas o esquemas de formulas ya
probadas.
3. Finalmente, se intentara liberar ese consecuente, B, del
antecedente, /, que lo condiciona mediante la aplicacion de
la regla MP. Previamente, habra sido necesario obtener el
antecedente, /, del implicador haciendo uso, nuevamente,
de las manipulaciones (1) a (3).
Ejemplo 10
L
(p
1
p
2
) (p
1
p
1
):
(1) (p
1
(p
2
p
1
) ((p
1
p
2
) (p
1
p
1
)) L2
(2) (p
1
(p
2
p
1
)) L1
(3) ((p
1
p
2
) (p
1
p
1
)) MP,(1)(2)
40
Ejemplo 11 Sean /, B y ( fbfs cualesquiera de L.
1. /, (B (/ ())
L
(B ()
(1) / P
(2) (B (/ ()) P
(3) ((B (/ ())
((B /) (B ())) L2
(4) ((B /) (B ()) MP,(2)(3)
(5) (/ (B /)) L1
(6) (B /) MP,(1)(5)
(7) (B () MP,(4)(6)
2.
L
(/ /) (Teorema de la identidad)
(1) ((/ ((/ /) /))
((/ (/ /)) (/ /))) L2
(2) (/ ((/ /) /)) L1
(3) ((/ (/ /)) (/ /)) MP,(1)(2)
(4) (/ (/ /)) L1
(5) (/ /) MP,(3)(4)
41
3.
L
(B (B /))
(1) (B (/ B)) L1
(2) (((/) (B)) (B /)) L3
(3) ((((/) (B)) (B /))
(B (((/) (B)) (B /)))) L1
(4) (B (((/) (B)) (B /))) MP,(2)(3)
(5) (B ((/ B) (B /)))
((B (/ B)) (B (B /))) L2
(6) ((B (/ B)) (B (B /))) MP,(4)(5)
(7) (B (B /))) MP,(1)(6)
42
Estos ejemplos muestran que las deducciones se presentan
mas que como una sucesion de formulas, como una sucesion
de lneas.
Lo segundo que reejan estos ejemplos es que, al igual que
L
/ no es parte de L, son metateoremas.
Los resultados generales obtenidos sobre L en el ejemplo an-
terior son:
Para fbf s /, B y ( cualesquiera de L:
1. /, (B (/ ())
L
(B ()
2.
L
(/ /) (Teorema de la identidad)
3.
L
(B (B /))
Solo cuando instanciemos las variables metaling uisticas por
fbfs obtendremos deducciones y teoremas de L.
Como se ha podido apreciar, deducir en un sistema axiomati-
co puede ser complejo y poco intuitivo.
Una manera de hacer menos ardua la tarea de la deduccion,
o de la demostracion de teoremas, es permitir que todo teo-
rema de L pueda ser usado como premisa en una deduccion e
insertado en cualquier punto de una demostracion.
Otro modo de facilitar la tarea de la demostracion consiste
en usar ciertos metateoremas, que tienen el efecto de reglas
de inferencia adicionales.
43
2.3. Teorema de la deduccion.
Proposicion 2.3.1 Sean / y B fbfs de L y un conjunto de fbfs
de L (que puede ser vacio). Si /
L
B entonces
L
(/ B).
Proposicion 2.3.2 Sean / y B fbfs de L y un conjunto de fbfs
de L (que puede ser vacio). Si
L
(/ B) entonces /
L
B.
Corolario 2.3.3 (regla del silogismo hipotetico (SH)) Sean /, B y
( fbfs de L.
(/ B), (B ()
L
(/ ().
44
Observaciones 2.3.4
1. El resultado anterior puede entenderse como una regla de
inferencia que dice: si se ha deducido (/ B) y (B ()
como linea inmediatamente siguiente, en una deduccion, se
puede inferir (/ ().
2. Hay varias maneras de aplicar el teorema de la deduccion.
Por ejemplo a partir de
(/ B), (B (), /
L
(
pueden obtenerse cualquiera de los resultados siguientes:
(B (), /
L
(/ B) (
o bien
(/ B), /
L
(B () (
3. Notad que si aplicamos reiteradamente el teorema de la de-
ducci on, al resultado del corolario obtenemos:
L
(/ B) ((B () (/ ())
45
Proposicion 2.3.5 Sean /, B y ( fbfs cualesquiera de L.
1.
L
(B (B /)).
(1) B (/ B) L1
(2) ((/) (B)) (B /) L3
(3) B (B /)) SH, (1), (2)
2.
L
(/ /).
(1) / Hipotesis
(2) / (/ /)) Proposicion 2.3.5(1)
(3) (/ /)) MP, (1), (2)
(4) (/ /) (/ /) L3
(5) / / MP, (3), (4)
(6) / MP, (1), (5)
Por lo tanto, /
L
/ y haciendo uso del teorema de la
deduccion
L
(/ /).
3.
L
/ /.
(1) / / Proposicion 2.3.5(2)
(2) (/ /) (/ /) L3
(3) / / MP, (1), (2)
46
2.4. Propiedades formales de la logica de enunciados: metalogi-
ca.
Una de las principales tareas de la metateora consiste en con-
siderar el sistema desde un punto de vista global y someterlo a
las siguientes preguntas:
1. El sistema L es correcto ?. Esto es, el concepto de tautologa
del captulo 1, que expresa nuestra nocion de verdad logica,
se corresponde con los teoremas de L ?.
L
/ / es una tautologa.
2. Hay seguridad de que un sistema esta exento de contradic-
cion?. Si la respuesta es armativa diremos que el sistema es
consistente o no contradictorio.
3. El sistema L es completo ?. Esto es, Hay seguridad de
que el sistema L tiene la potencia o capacidad necesaria para
suministrar todas aquellas conclusiones tautologicas que, en
principio, desearamos obtener de el ?.
/ es una tautologa
L
/
4. Existe un procedimiento que permita decidir de un modo
mecanico si una formula es o no deducible en un sistema ?. Si
la respuesta es armativa diremos que el sistema es decidible.
47
2.4.1. Correccion y consistencia
A) CORRECCION
Hemos denido las fbf de L de manera que pudiesemos in-
terpretarlas como formas enunciativas, estando representada
cada funcion de verdad por alguna fbf.
El proceso de interpretacion se realizara mediante una valo-
racion.
Tambien llamaremos tautologa a aquellas fbfs que son verda-
deras para toda valoracion.
Teorema 2.4.1 (Teorema de la correccion) Sea / una fbf de L. Si
L
/ entonces / es una tautologa.
48
B) CONSISTENCIA
Estudiamos el problema de la consistencia desde el punto de
vista de la teora de la deduccion.
Este problema esta relacionado con el de la correccion.
La consistencia es una propiedad de los conjuntos de formu-
las. Si un conjunto de fbf s, , es inconsistente cualquier fbf
podra ser deducida a partir de en L.
Tal conjunto , debera ser rechazado por ca-
recer de valor probatorio.
Denicion 2.4.2 Sea un conjunto de fbfs.
1. es inconsistente si y solo si cualquier fbf de L es deducible
a patir de .
2. es consistente si y solo si no es inconsistente. Esto es, existe
alguna fbf de L que no puede deducirse a partir de .
49
Proposicion 2.4.3 Sean y conjuntos de fbfs.
1. Si es consistente y entonces es consistente.
2. Si es inconsistente y entonces es inconsistente.
Proposicion 2.4.4 (Caracterizacion de la consistencia) Sea un con-
junto de fbfs. es consistente si y solo si no existe una fbf /
de L tal que
L
/ y
L
/.
Proposicion 2.4.5 (Caracterizacion de la inconsistencia) Sea un
conjunto de fbfs.
1. es inconsistente si y solo si existe una fbf / de L tal que
L
/ y
L
/.
2. es inconsistente si y solo si existe una fbf / de L tal que
L
(/ /).
50
Observacion 2.4.6
Notad que la forma enunciativa (//) es una contradiccion,
de ah que suela decirse: Un conjunto de fbfs es inconsistente
si y solo si de el se desprende una contradiccion.
Proposicion 2.4.7 El sistema L es consistente.
En la prueba de este resultado juega un papel determinante
el teorema de la correccion.
51
2.4.2. Completitud
Teorema 2.4.8 (Teorema de la completitud) Sea / una fbf de L.
Si / es una tautologa entonces
L
/.
El concepto de deducibilidad es un concepto sintactico, mien-
tras que el de tautalogicidad es semantico. Ambos conceptos
son distintos y en principio no tienen por que coincidir.
El sistema L se denio para que ambos conceptos fueran equi-
valentes.
Los teoremas 2.4.1 y 2.4.8 conrman su equivalencia.
52
2.4.3. Decidibilidad
Denicion 2.4.9 Conjunto de instrucciones explcito que permite
realizar una tarea de computo (no necesariamente numerico),
que puede usarse para encontrar la respuesta de cualquier pre-
gunta de entre las de una clase.
Denicion 2.4.10 (indecidibilidad) Un sistema formal S es (re-
cursivamente) indecidible si y solo si, no existe ning un algoritmo
que pueda responder a preguntas de la clase:
Es / un teorema de S?, donde / es una fbf de S.
En caso contrario diremos que el sistema es decidible.
53
Proposicion 2.4.11 El sistema L es decidible
Observacion 2.4.12
Los sistemas formales de la logica de predicados, en general,
son indecidibles.
La decidibilidad de L hace innecesaria la construccion de de-
mostraciones, basta considerar una fbf como forma enuncia-
tiva y construir su tabla de verdad para saber si la fbf era o
no teorema.
Sin embargo, en la practica, el metodo semantico de las tablas
de verdad es ineciente.
54
2.5. Regla de intercambio.
En el sistema L, el correlato del concepto semantico de equi-
valenca logica es el concepto de demostrablemente equivalente.
Denicion 2.5.1 Sean / y B fbf de L. / y B son demostrablemente
equivalentes si y solo si
L
(/ B).
Observacion 2.5.2
Recordemos que la conectiva es un smbolo denido de nues-
tro lenguaje. La fbf (/ B) es una abreviatura de ((/ B)
(B /)).
Dos resultados interesantes.
Proposicion 2.5.3 (caracterizacion de demostrablemente equivalente)
Sean / y B fbf de L cualesquiera.
L
(/ B) si y solo si
L
(/ B) y
L
(B /).
Corolario 2.5.4 Sean / y B fbf de L cualesquiera. Si
L
(/ B)
y
L
(B () entonces
L
(/ ().
La siguiente proposicion muestra la identidad entre los con-
ceptos de demostrablemente equivalente y logicamente equi-
valente (tautologicamente equivalente).
55
Proposicion 2.5.5 / y B son demostrablemente equivalentes si y
solo si son logicamente equivalentes.
Ejemplo 12 Segun la proposicion 2.5.5, las equivalencias del ejem-
plo 7 son demostrables.
El resultado principal de este apartado: el teorema de inter-
cambio.
Proposicion 2.5.6 (Teorema de intercambio) Sean /, B y ([/]
fbfs cualesquiera Si
L
(/ B) entonces
L
([/] ([B].
Observacion 2.5.7
La proposicion anterior, en palabras, indica que Si / es demos-
trablemente equivalente a B entonces ([B], resultado de sustituir
las ocurrencias de / por B, es demostrablemente equivalente a
([/].
La utilidad del teorema 2.5.6 es la de plantear la deduccion
basandola en intercambios de partes de las formulas que se
reescriben con otras equivalentes.
El teorema de intercambio puede entenderse como una regla
de inferencia:
/ B, ([/]
([B]
56
Ejemplo 13 Este ejemplo ilustra el uso del teorema de intercam-
bio. Se hace uso de la equivalencia existente entre las fbfs /
y /.
(1) / ((/ B))
(2) / ((/ B)) I
2
, (/ /), (1)
57
2.6. Otros sistemas formales.
Sistema de Kleene (1953).
1. Vocabulario: el conjunto de smbolos innito (numerable)
, , , , , (, ), p
1
, p
2
, p
3
, . . .
2. Deniciones:
(/ B) es abreviatura de: (/ B) (B /)
3. Axiomas:
(1) / (B /)
(2) (/ B) ((/ (B ()) (/ ())
(3) / (B (/ B))
(4a) (/ B) /
(4b) (/ B) B
(5a) / (/ B)
(5b) B (/ B)
(6) (/ () ((B () ((/ B) ())
(7) (/ B) ((/ B) /)
(8) / /
Los axiomas como estructuras deductivas correctas:
(1) /, B /
(2) (/ B), (/ (B ()), / (
(3) /, B (/ B) (R. Producto)
(4a) (/ B) / (R. simplicacion)
(4b) (/ B) B (R. simplicacion)
(5a) / (/) B) (R. adicion)
(5b) B (/) B) (R. adicion)
(6) (/ (), (B (), (/ B) ( (R. pru. por casos)
(7) (/ B), (/ B) / (R. reduc. al abs.)
(8) /) / (R. doble neg.)
Esta vision arrojan luz sobre el signicado intuitivo de estos
axiomas.
Puede apreciarse que estos axiomas son una parte de las reglas
de deduccion natural de Gentzen.
58
Captulo 3
CALCULO PROPOSICIONAL Y
DEDUCCION NATURAL.
Los sistemas axiomaticos son diciles de aplicar y se pare-
cen poco al proceso de razonamiento no formalizado que se
emplea en otras disciplinas como las matematicas.
En 1934, Gentzen presento un sistema sin axiomas y con solo
reglas de inferencia, cuya aplicacion resultaba mas familiar y
sencilla que la de los viejos sistemas deductivos, por lo que lo
llamo sistema de deduccion natural .
Lo distintivo de un sistema de deduccion natural es que:
59
Desaparecen los axiomas.
Aumentan las reglas de inferencia
Se exibiliza el concepto de deduccion, haciendolo mas ri-
co. Al probar un teorema podremos utilizar diferentes es-
trategias:
1. Deduccion directa.
2. Deduccion indirecta (Reduccion al absurdo).
a) Se supone la falsedad de la conclusion (negamos lo
que queremos probar).
b) A partir de esta suposicion obtener una contradic-
cion.
c) Rechazar este supuesto en vista del resultado.
d) Como consecuencia, armar la conclusion deseada.
3. Supuestos provisionales.
a) Sirven de apoyo momentaneo en el curso de la deduc-
cion.
b) Descarga o Cancelacion.
En un sistema de deduccion natural se distinguen dos clases
de reglas:
1. Las reglas de inferencia.
2. Reglas de construccion de una deduccion.
60
3.1. Reglas basicas de inferencia
Las reglas que gobiernan las operaciones deductivas por las
que de una o dos formulas ya probadas se pasa a una tercera,
se denominan reglas basicas de inferencia
En una regla de inferencia el orden de las premisas es indife-
rente.
El paso de las premisas a la conclusion en una regla recibe el
nombre de inferencia inmediata.
61
Reglas basicas del calculo de Gentzen:
1. Reglas basicas de la implicacion.
Eliminacion del Implicador (EI, MP).
/ B
/
B
Introduccion del Implicador (II, TD).
/
. . .
B
/ B
2. Reglas basicas de la conjuncion
Eliminacion del Conjuntor (EC, Simp).
(EC1 o Simp1) (EC2 o Simp2)
/ B
/
/ B
B
Introduccion del Conjuntor (IC, Prod).
/
B
/ B
62
3. Reglas basicas de la disyuncion.
Eliminacion del Disyuntor (ED, Cas).
/ B
/
. . .
(
B
. . .
(
(
Introduccion del Disyuntor (ID, Ad).
(ID1 o Ad1) (ID2 o Ad2)
/
/ B
B
/ B
4. Reglas basicas de la negacion.
Eliminacion del Negador (EN, DN).
/
/
Introduccion del Negador (IN, Abs).
/
. . .
B B
/
Observacion 3.1.1 Las reglas de inferencia se corresponden con
enunciados tautologicos. MP :
(/ (/ B)) B
es una tautologa.
63
3.2. Reglas de construccion de una deduccion
Denicion 3.2.1 (Deduccion) Una deduccion (o derivacion) es una
secuencia nita de formulas tales que cada una de ellas es:
1. un supuesto inicial o premisa inicial, formulas hipotetica-
mente dadas desde el principio de la derivacion, o
2. un supuesto provisional o subsidiario, que debe estar cance-
lado antes de la conclusion, o
3. una formula derivada logicamente de las anteriores por in-
ferencia inmediata, que denominaremos consecuencias logi-
cas inmediatas.
La ultima lnea de la derivacion es la conclusion. Una demos-
tracion o prueba es una deduccion sin supuestos iniciales.
64
Normas de notacion y procedimiento:
1. Cada formula se dispondra en una de las lnea.
2. Cada una de las lneas ira numerada en orden correlativo.
3. Las premisas iniciales llevaran como marca una lnea horizon-
tal -. Por ej.:
- 2 p q.
Las premisas se disponen como una sucesion de lneas al prin-
cipio de la deduccion.
4. A las lneas procedentes de las consecuencias inmediatas se
les a nadira un comentario, diciendo la regla aplicada y los
n umeros de lnea de las premisas utilizadas. Por ej.:
23 q r (MP) 14, 18.
5. En cualquier momento de la deduccion se puede introducir
como lnea un supuesto provisional. Los supuestos provisio-
nales se se nalizaran con una escuadra izquierda mirando hacia
abajo, . Por ej.:
18 /.
65
6. Los supuestos provisionales deben ser cancelados antes de
alcanzar la conclusion. La descarga o cancelacion se se nali-
zara con una escuadra izquierda mirando hacia arriba, .
Por ej.:
23 A B.
Una vez cancelado un supuesto provisional, las lneas de la de-
duccion subsidiaria seran marcadas mediante el smbolo [.
Por ej.:
[ 23 q r (MP) 14, 18.
7. El nal de la deduccion se alcanza cuando se obtiene la con-
clusion, como ultima lnea.
Ejemplo 14 (p q r), (r s) (p q s)
(1) p q r
(2) r s
(3) p q
[ (4) r MP 1,3
(5) s MP 2,4
(6) p q s TD 3-5
66
3.3. Reglas derivadas de inferencia.
Las reglas basicas son sucientes para resolver todos los pro-
blemas de deduccion formal de la logica de enunciados.
Las reglas derivadas se introducen para poder simplicar se-
cuencias de pasos.
Una regla derivada es una derivacion a la que, por su impor-
tancia, se le da el rango de regla de inferencia.
Ver el libro de Garrido [3] o [2] para una lista completa.
67
3.4. Consejos para la resolucion de argumentos.
1. Si la formula que queremos demostrar es una implicacion, se
puede introducir como suposicion el antecedente, con lo que si
somos capaces de demostrar el consecuente, podremos llegar
al la conclusion mediante el Teorema de la deduccion.
2. Si en las premisas iniciales hay una disyuncion, se puede su-
poner cada uno de los extremos y llegar en cada caso a la
conclusion, para poder utilizar la prueba por casos.
3. Si nos fallan otros intentos podemos acudir a la reduccion al
absurdo.
4. En general, debemos jarnos en la estructura de la conclusion
para aplicar las reglas de introduccion o de denicion.
68
Captulo 4
CALCULO DE
PREDICADOS:TEORIA
SEMANTICA
En el captulo 1 hemos analizado proposiciones y argumen-
tos, descomponiendolos en enunciados constituyentes simples
unidos por conectivas.
OBJETIVO: Comprobar que lo que hace valida una
argumentacion es su forma.
Dicultades de la logica proposicional:
Todos los hombres son mortales;
Todos los griegos son hombres;
Todos los griegos son mortales.
Intuitivamente considerabamos este como ejemplo de argu-
mento correcto.
Pero, si lo simbolizamos en el contexto de la logica de enun-
ciados:
p, qr
que no es un argumento correcto en virtud de su forma.
La validez en este caso no depende de las relaciones entre
las premisas y la conclusion en tanto que enunciados simples,
sino de relaciones entre partes de los enunciados:
69
Todos los As son Bs;
Todos los Cs son As;
Todos los Cs son Bs.
Debemos darnos cuenta de dos cosas:
1. El uso de smbolos para representar partes de un enunciado
simple. Longrightarrow Necesidad de un lenguaje formal
mas rico.
2. La naturaleza general de los enunciados Todos los As son
Bs. Longrightarrow Son enunciados enunciados molecula-
res o compuestos. Necesidad de cuanticadores.
De la formalizacion y el estudio de estructuras deductivas
de este tipo se ocupa la logica de predicados o de terminos.
Tambien se denomina logica cuanticacional
70
4.1. Nombres, functores y relatores
Nombres y variables:
Designador: una o varias palabras que hacen referencia a
objetos o individuos. Forman el sujeto de una oracion.
Hay muchas clases de designadores, los mas usuales son
los nombres.
Constantes: en lugar de nombres del lenguaje ordinario em-
plearemos las primeras letras min usculas del alfabeto: a, b
y c.
Tambien emplearemos variables cuando queramos decir al-
go general.
En el lenguaje ordinario, los pronombres juegan el papel
de las variables en las formulas matematicas.
El ha sido el asesino equivale a: x ha sido el asesino;
Yo he ido al cine equivale a: x ha ido al cine.
Las variables no designan a ning un objeto o individuo en
particular.
Como variables emplearemos las ultimas letras min usculas
del alfabeto: x, y y z.
Functores:
Los nombres son designadores simples, pero no todos los
designadores son as. Por ejemplo:
El rio que atraviesa la capital de Francia
La capital de Francia
Son designadores compuestos.
71
Functores: expresiones que seguidas de un n umero determi-
nado de designadores, forman a su vez un designador.
Un functor que requiere n designadores para formar un
nuevo designador, se llama functor n-adico o n-ario.
Los functores se corresponden con funciones (no necesa-
riamente n umericas).
En nuestra formalizacion usaremos, en vez de functores
del lenguaje ordinario, los smbolos: f, g, h, . . ..
Cuando se crea oportuno se indicara el n umero de argu-
mentos del funtor mediante un superndice.
Los functores podran contener variables. Un functor que
contiene variables no designa a ning un objeto o individuo,
es decir, no es un designador: termino abierto.
Terminos son tanto los designadores como los terminos abier-
tos.
Relatores:
Unidos a un n umero determinado de designadores forman
un enunciado. Seran los enunciados atomicos de nuestro
formalismo.
Los relatores van a designar relaciones.
Hablaremos de relatores n-arioscuando se necesiten n de-
signadores para formar un enunciado.
Los relatores monarios o predicados pueden usarse para de-
nir conjuntos (clases), cuando empleamos variables junto
con dichos predicados.
72
Emplearemos letras may usculas del alfabeto, P, Q,
R para representar los relatores del lenguaje ordinario.
Cuando se crea oportuno se indicara el n umero de argu-
mentos del relator mediante un superndice.
Si en un enunciado sustituimos un designador por una va-
riable, el resultado es lo que llamaremos una formula abierta.
Lo que caracteriza a los enunciados es que son verdaderos o
falsos. Sin embargo una formula abierta no podemos decir
si es verdadera o falsa.
73
4.2. Cuanticadores
Generalizador:
Las partculas todo (tambien cada, en cada entero
tiene un factor primo, o el en el hombre es un mami-
fero)
Formalizaci on del enunciado Todos los hombres son mor-
tales:
1. Para todo x, si x es un hombre entonces x es mortal.
2. Para todo x, (H(x) M(x)).
donde H(x) simboliza x es un hombre y M(x)
simboliza x es mortal.
3. (
x)(H(x) M(x)).
donde
x)(A(x) R(x)).
donde
x)(
y)R(x, y).
2. Desde el punto de vista graco, el cuanticador universal,
x) es
equivalente a (
x).
75
4.3. Lenguaje formal de primer orden, L
4.3.1. Vocabulario
1. Smbolos comunes a todos los formalismos.
a) Smbolos de variable, 1.
x, y, z, x
0
, y
0
, z
0
, x
1
, y
1
, z
1
, . . . , x
n
, y
n
, z
n
b) Conectivas y cuanticadores.
, , , , .
.
c) Signos de puntuacion: (, ), ,.
2. Smbolos peculiares de un formalismo.
a) Constantes, (.
a, b, c, a
0
, b
0
, c
0
, a
1
, b
1
, c
1
, . . . , a
n
, b
n
, c
n
b) Functores n-adicos, T.
f
n
, g
n
, h
n
, f
0
n
, g
0
n
, h
0
n
, f
1
n
, g
1
n
, h
1
n
, . . . , f
n
n
, g
n
n
, h
n
n
c) Relatores n-adicos, {.
P
n
, Q
n
, R
n
, P
0
n
, Q
0
n
, R
0
n
, P
1
n
, Q
1
n
, R
1
n
, . . . , P
n
n
, Q
n
n
, R
n
n
Observaciones 4.3.1
1. Existen muchos lenguajes de primer orden diferentes, de-
pendiendo de los smbolos peculiares que se incluyan.
2. Los resultados que obtengamos seran aplicables a cualquier
lenguaje de primer orden.
76
4.3.2. Terminos y formulas (expresiones de L)
Denicion 4.3.2 (termino de L) 1. Si t 1 ( entonces t es un
termino. Esto es, toda variable o constante de L es un termino
de L.
2. Si t
1
, t
2
, . . . t
n
son terminos de L y f
n
es un functor n-adico
de L entonces f
n
(t
1
, t
2
, . . . t
n
) es un termino de L.
Denotamos el conjunto de todos los terminos mediante la le-
tra T .
Observacion 4.3.3
Los terminos seran las expresiones del lenguaje se interpre-
taran como objetos o individuos, los elementos sobre los se apli-
can las funciones, los elementos que tienen propiedades y sobre
los que se realizan aseveraciones.
Denicion 4.3.4 (formula atomica) Si t
1
, t
2
, . . . t
n
son termi-
nos de L y R
n
es un relator n-adico de L entonces R
n
(t
1
, t
2
, . . . t
n
)
es una formula atomica de L.
Observacion 4.3.5
Las formulas atomicas se interpretaran como enunciados, como
por ejemplo que un cierto objeto verica una determinada pro-
piedad.
Denicion 4.3.6 (formula bien formada) 1. Toda formula atomi-
ca de L es una fbf.
2. Si / y B son fbfs de L, tambien lo son: (/), (B), (/
B), (/ B), (/ B) y (/ B).
3. Si / es una fbf de L y x 1 entonces (
x)/ y (
x)/ son
fbfs.
77
Observaciones 4.3.7
1. Notad que cuando decimos, Si / es una fbf de L entonces
(
x)/ y (
x)(R
2
(x, h(c)) Q(x)).
Ejemplos de cadenas de signos que no son formulas de L:
f(a), (x)(R
2
(x, Q(b)), / B.
79
4.3.3. Ocurrencia libre y ligada de una variable
Denicion 4.3.8 1. Radio de accion de un cuanticador:
a) En la fbf (
x) es /.
b) En la fbf (
x) es /.
2. Ocurrencia ligada de una variable.
Si aparece dentro del radio de accion de un cuanticador
universal (
x) o uno existencial (
x).
3. Ocurrencia libre de una variable.
Si su aparicion no es ligada.
Ejemplo 16 En la fbf (
x
1
)(R
2
(x
1
, x
2
) (
x
2
)P
1
(x
2
)), podemos
comprobar que:
1. x
1
aparece ligada.
2. La primera ocurrencias de x
2
aparece libre.
3. La segunda ocurrencias de x
2
aparece ligada.
4. El radio de accion del cuanticador (
x
1
) es la fbf (R
2
(x
1
, x
2
)
(
x
2
)P
1
(x
2
)).
5. El radio de accion del cuanticador (
x
2
) es la fbf P
1
(x
2
).
Observacion 4.3.9
Dada una fbf cualquiera /, escribiremos /(x
i
) o bien /(x
1
, . . . , x
n
)
cuando estemos interesados en ciertas variables. Estas expre-
siones indicaran a menudo, aunque no siempre, que las varia-
bles mencionadas aparecen libres en la fbf.
4.4. Teora de modelos
1. La semantica estudia la adscripcion de signicado a los lengua-
jes de los sistemas formales.
2. En la teora de modelos el signicado se formaliza mediante
la nocion de modelo
80
3. Un modelo consiste en una entidad matematica, junto con las
propiedades y relaciones que se dan entre los elementos de
esa entidad.
4. Estamos interesados en establecer la verdad o falsedad de
ciertos hechos y propiedades del modelo.
/item El formalismo proporciona una sintaxis para la deduc-
cion de hechos (teoremas) sobre un modelo, basada en la in-
terpretacion de los smbolos de la sintaxis en el modelo.
81
4.4.1. Interpretaciones
Interpretar un formalismo basicamente consiste en seleccionar
un modelo, esto es:
1. Indicar un dominio o universo de discurso; es decir, un conjun-
to no vacio de individuos al que se referiran las variables.
2. Asignar signicados a los smbolos peculiares del formalis-
mo: asignar a cada constante un individuo, a cada smbolo
de funcion una funcion en el dominio y a cada relator una
relacion en el dominio.
Denicion 4.4.1 (Interpretaci on) Una interpretacion 1 de L es
un par (T
1
, .) que consiste en:
1. Un conjunto no vacio T
1
, el dominio de 1.
2. Una aplicacion . que asigna:
a) A cada smbolo de constante, a
i
, de L un elemento dis-
tinguido de T
1
;
.(a
i
) = a
i
b) A cada functor f
n
i
n-ario de L una funcion
.(f
i
n
) = f
i
n
tal que
f
i
n
: T
n
1
T
1
c) A cada relator R
i
n
n-ario de L una relacion
.(R
i
n
) = R
i
n
tal que
R
i
n
T
n
1
esto es un conjunto de n-tuplas de T
n
1
,
R
i
n
= (d
1
, . . . , d
n
) [ d
i
T
1
Observaciones 4.4.2
1. Notacion: dado un smbolo de constante, a
i
, el valor asig-
nado en el dominio lo denotamos a
i
, etc.
82
2. Muchos autores, [1, 5] entre otros, enuncian la ultima con-
dicion diciendo que: La interpretacion asigna, por cada re-
lator n-ario de L una aplicacion T
n
1
V, F.
3. Lenguaje de primer orden
Las variables x, y, z, . . . de L estan destinadas a interpretarse
como elementos del dominio T
1
. As mismo, los cuantica-
dores se reeren a variables interpretables en T
1
.
Ejemplo 17 Dada la fbf
(
x
1
)(
x
2
)(
x
3
)R
1
2
(g
1
2
(x
1
, x
3
), x
2
)
(con los smbolos peculiares: a
1
, R
1
2
, f
1
1
, g
1
2
, g
2
2
).
Una posible interpretaci on sera aquella que asignase:
1. el conjunto de los naturales, IN, como dominio de la inter-
pretaci on: T
1
IN.
2. signicados a los smbolos peculiares del lenguaje, de mane-
ra que:
a a
1
le asignamos el elemento distinguido 0;
a f
1
1
la funcion sucesor suc
suc : IN IN
a g
1
2
la funcion suma +
+ : IN
2
IN
a g
2
2
la funcion producto
: IN
2
IN
a R
1
2
la relacion de identidad =
=: IN
2
V, F
Con lo cual la anterior fbf se interpretara como:
(Para todo x
1
y x
2
IN existe un x
3
IN tal que x
1
+x
3
=
x
2
)
Esta fbf tiene un signicado falso en esta interpretacion
(Imaginese el caso en el que x
1
= 1 y x
2
= 0).
83
4.4.2. Valoraci on, satisfacibilidad y verdad
Solo podremos hablar de verdad y falsedad en el contexto de
una interpretaci on, despues de asignar valores a las variables.
Denicion 4.4.3 (Valoracion en 1) Una valoracion v en 1 es una
aplicacion:
v : 1 T
1
x v(x) = x
Observaciones 4.4.4
1. Una valoracion tambien recibe el nombre de asignacion. En
una interpretacion existiran diferentes valoraciones.
2. Substitucion.
Cuando estamos en el caso particular en el que T
1
es el
conjunto de los terminos de L, T .
Denicion 4.4.5 (Valoracion x-equivalente) Una valoracion v
x
x
que
coincide exactamente con la valoracion v, salvo quiza en el va-
lor asignado a la variable x 1, se denomina valoracion x-
equivalente de v:
v
x
x
=
x si z x;
v(z) en otro caso.
Observaciones 4.4.6
1. El concepto anterior puede extenderse a una secuencia de
variables: valoracion (x
1
. . . x
n
)-equivalente.
84
2. No es obligatorio que v
x
x
tenga que diferir en el valor que v
asigna a x.
El concepto de valoracion puede extenderse al conjunto de los
terminos.
Denicion 4.4.7 Una valoracion en 1 es una aplicacion:
: T T
1
tal que:
(t) =
(1) v(x) si t 1 t x;
(2) .(a) si t ( t a;
(3) .(f
i
n
)((t
1
) . . . (t
n
)) si f
i
n
T (t
1
T . . . t
n
T )
t f
i
n
(t
1
. . . t
n
);
1. Una valoraci on tiene el efecto de transformar un fbf / en un
enunciado acerca de los elementos de T
1
que puede ser ver-
dadero (V ) o falso (F). Si el enunciado es verdadero, diremos
que la valoraci on satisface / en 1.
2. La valoraci on hace corresponder un valor de verdad a la fbf
/.
Denicion 4.4.8 (Satisfacibilidad) Decimos que la valoracion
en 1 satisface la fbf / si y solo si, inductivamente se cumple
que:
1. Si / R
n
(t
1
. . . t
n
) entonces
R
n
((t
1
) . . . (t
n
)) = V
donde R
n
= .(R
n
) es una relacion en T
1
.
2. Si / es de la forma:
a) B entonces no satisface B;
b) (B () entonces satisface B y satisface (;
85
c) (B () entonces satisface B o satisface (;
d) (B () entonces satisface B o satisface (;
e) (B () entonces satisface B y (, o no satisface ni B
ni (;
3. Si / (
x
x
satisface B.
Observaciones 4.4.9
1. Para una valoracion en 1 y una fbf / de L cualesquiera,
o satisface / o satisface /
2. El segundo punto de la denicion 4.4.8, puede entenderse
mejor en los siguientes terminos: Si / es de la forma: B,
o (B (), o (B (), o (B (), o (B (). Al ser interpretada
y valorada / toma un valor de verdad V o F en funcion
los valores de verdad que tomem B y ( de acuerdo con la
siguiente tabla de verdad:
B C B B C B C B C B C
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
Decimos que satisface / si como resultado de su valora-
cion en una interpretacion, / toma el valor de verdad V .
En caso contrario, cuando / toma el valor de verdad F,
decimos que no satisface /.
3. El punto tercero de la anterior denicion 4.4.8, puede en-
tenderse como:
La formula / (
x
1
)(
x
2
)R
1
2
(g
2
2
(x
1
, x
2
), g
2
2
(x
2
, x
1
))
es satisfecha por cualquier valoraci on v.
3. (
x
1
)R
1
2
(x
1
, a
1
)
no es satisfecha por valoraci on v alguna.
Denicion 4.4.10 (Verdad en 1) 1. Una fbf / es verdadera en 1
si y solo si toda valoracion en 1 satisface /.
2. Una fbf / es falsa en 1 si y solo si no existe valoracion
en 1 que satisfaga /.
Observaciones 4.4.11
1. Escribiremos 1 [= / para denotar que / es verdadera en
1. Este smbolo no debe confundirse con . Ambos son
smbolos metaling uisticos.
2. Puede ocurrir que para cierta fbf /, algunas valoraciones
en 1 satisfagan / y otras no. Una formula as no es ni
verdadera ni falsa en 1.
87
3. En una interpretacion dada, una fbf / es falsa en 1 si y
solo si / es verdadera en 1. Es decir, para ninguna fbf /
puede ocurrir que / y / sean ambas verdaderas en 1.
4. En una interpretacion dada 1, una fbf (/ B) es falsa en
1 si y solo si / es verdadera en 1 y B es falsa en 1.
5. Es facil comprobar que si las fbf / y (/ B) son verdaderas
en 1 entonces B es verdadera en 1.
Algunos resultados interesantes sobre el concepto de verdad
en una interpretacion:
Proposicion 4.4.12 Sea / una fbf de L e 1 una interpretacion de
L. Entonces, 1 [= / si y solo si 1 [= (
x)/.
Corolario 4.4.13 Sean y
1
, . . . , y
n
variables de L, sea / una fbf de
L e 1 una interpretacion de L. Entonces, 1 [= / si y solo si
1 [= (
y
1
) . . . (
y
n
)/.
En lo que resta de seccion trataremos con formulas cerradas.
El valor de verdad de una formula cerrada no depende de la
valoraci on concreta v en 1. Si encontramos una valoracion v
que satisface una formula en 1 entonces cualquier otra valo-
racion tambien la satisfara.
Lema 4.4.14 Sea / una fbf de L e 1 una interpretacion de L. Si
v y w son valoraciones tales que v(y) = w(y) para toda variable
libre y que ocurre en /, entonces v satisface / si y solo si w
satisface /.
Proposicion 4.4.15 Sea / una fbf cerrada de L e 1 una interpre-
tacion de L. Entonces, 1 [= / o 1 [= /.
88
Observacion 4.4.16
La anterior proposicion establece que, para una formula cerrada
los conceptos de satisfacible para una valoracion v en 1 y ver-
dadera en 1 son equivalentes. Las interpretaciones dan valores
de verdad a las fbfs cerradas de L.
89
4.4.3. Verdad logica y modelos
En nuestro sistema actual L la nocion de interpretaci on se
corresponde con la de asignacion de valores de verdad en L.
Vamos a ver que el concepto de tautologa en L tiene un corre-
lato en L: el de formula logicamente verdadera.
Denicion 4.4.17 (Formula logicamente valida) Sea una fbf / de
L.
1. / es logicamente valida si y solo si para toda interpretacion 1,
/ es verdadera en 1. (NOTACION: [= /)
2. / es insatisfacible si y solo si para toda interpretacion 1, /
es falsa en 1.
3. / es satisfacible si y solo si existe una interpretacion 1 y una
valoraci on en 1 tal que v satisface / en 1.
Para fbfs cerradas los conceptos de satisfacion por una valo-
racion en 1 y verdad en 1 son equivalentes.
Una fbf cerrada / es satisfacible si y solo si existe una inter-
pretacion 1 en la cual / sea verdadera.
Denicion 4.4.18 (Modelo) Dada una fbf cerrada / de L, deci-
mos que una interpretacion 1 es modelo de / si y solo si la fbf
/ es verdadera en la interpretacion 1.
Denicion 4.4.19 Sea un conjunto de fbfs cerradas de L, sea
1 una interpretacion de L. 1 es modelo de si y solo si 1 es
modelo para cada una de las formulas de .
Denicion 4.4.20 Sea un conjunto de fbfs cerradas de L.
1. es valido si y solo si para toda interpretacion 1 es modelo
de .
90
2. es insatisfacible si y solo si no existe una interpretacion 1
de L que sea modelo de .
3. es satisfacible si y solo si existe una interpretaci on 1 de L
que es modelo de .
Observaciones 4.4.21
1. El concepto semantico de conjunto de formulas satisfacible
(insatisfacible) esta relacionado con el concepto sintactico
de conjunto de formulas consistente (inconsistente).
2. Sea = /
1
, . . . , /
n
un conjunto de fbfs cerradas.
a) 1 es modelo de si y solo si 1 es modelo de (/
1
. . . /
n
).
b) es valido si y solo si (/
1
. . ./
n
) es logicamente valida.
91
4.4.4. Consecuencia logica e Independencia
Denicion 4.4.22 (Consecuencia logica) / es consecuencia logica
de si y solo si para toda interpretacion 1 de L, si 1 es modelo
de entonces 1 es modelo de /.
Observacion 4.4.23
Que y / estan en relacion de consecuencia logica se denota
habitualmente por: [= /.
Al igual que en el captulo 1 estableciamos una correspon-
dencia entre forma argumentativa valida y tautologa, ahora
estableceremos una correspondencia similar entre los concep-
tos de consecuencia logica y formula logicamente verdadera.
Proposicion 4.4.24 (Teorema de la deduccion semantica) Sea =
/
1
, . . . , /
n
un conjunto de fbfs cerradas y B una fbf cerrada
de L.
1. [= B si y solo si [= (/
1
. . . /
n
) B
2. [= B si y solo si [= (/
1
. . . /
n
B) (esto es, la fbf
(/
1
. . . /
n
B) es insatisfacible).
3. [= B si y solo si B es insatisfacible.
Proposicion 4.4.25 (Caracterizacion de la insatisfacibilidad) Sea
un conjunto de fbfs cerradas de L. es insatisfacible si y solo
si existe una fbf cerrada / de L, tal que [= (/ /).
Independencia.
Denicion 4.4.26 Sea un conjunto de fbfs de L. Una fbf / de
L es independiente de si y solo si [= /.
92
Denicion 4.4.27 Sea un conjunto de fbfs de L. es indepen-
diente si y solo si para todo / , / es independiente de `/.
Si sospechamos que una determinada argumentacion o una
prueba es correcta, la formalizaremos tratando de obtener una
deduccion de su conclusion a partir de sus premisas. Si por
el contrario, sospechamos que es incorrecta, hemos de tratar
de obtener una prueba de independencia de su conclusion
respecto de sus premisas.
Ejemplo 19 Sean las fbfs
/
1
(
x)(P(x) R(x))
/
2
P(x)
y
/
3
R(a)
Vamos a comprobar que /
3
es independiente del conjunto /
1
, /
2
.
Para ello basta construir la interpretacion 1:
T
1
= 0,
.(a) = 0,
.(P) = (esto es, P(0) = F),
.(R) = 0 (esto es, R(0) = V ).
Es facil comprobar que 1 es modelo de /
1
, /
2
pero no de /
3
.
93
Captulo 5
CALCULO DE PREDICADOS:
TEORIA DE LA
DEMOSTRACION.
En este captulo analizaremos los aspectos sintacticos del len-
guaje.
Procederemos como en captulos anteriores, estudiando:
1. Un sistema formal axiomatico que denominamos /
L
.
(Nos centraremos en sus propiedades formales.)
2. Un sistema de deduccion natural de tipo Gentzen.
(Nos centraremos en su utilizacion como herramienta de-
ductiva.)
94
5.1. Sistema formal axiomatico /
L
El sistema formal axiomatico /
L
puede considerarse como una
extension del sistema formal L.
Denicion 5.1.1 El sistema formal /
L
del calculo de predicados esta ca-
racterizado por:
1. Vocabulario:
a) Smbolos comunes a todos los formalismos.
1) Conjunto de smbolos de variable 1.
x, y, z, x
0
, y
0
, z
0
, x
1
, y
1
, z
1
, . . . , x
n
, y
n
, z
n
2) Conectivas y cuanticadores.
, .
.
3) Signos de puntuacion: (, ), ,.
b) Smbolos peculiares de un formalismo.
1) El conjunto de las constantes (.
a, b, c, a
0
, b
0
, c
0
, a
1
, b
1
, c
1
, . . . , a
n
, b
n
, c
n
2) El conjunto de los functores n-adicos T.
f
n
, g
n
, h
n
, f
0
n
, g
0
n
, h
0
n
, f
1
n
, g
1
n
, h
1
n
, . . . , f
n
n
, g
n
n
, h
n
n
3) El conjunto de los relatores n-adicos {.
P
n
, Q
n
, R
n
, P
0
n
, Q
0
n
, R
0
n
, P
1
n
, Q
1
n
, R
1
n
, . . . , P
n
n
, Q
n
n
, R
n
n
95
2. Terminos y formulas:
a) El conjunto de los terminos T .
1) Si t 1 ( entonces t es un termino.
2) Si t
1
, t
2
, . . . t
n
son terminos y f
n
es un functor n-adico
entonces f
n
(t
1
, t
2
, . . . t
n
) es un termino.
b) El conjunto de las fbfs.
1) Si t
1
, t
2
, . . . t
n
son terminos y R
n
es un relator n-adico
de L entonces R
n
(t
1
, t
2
, . . . t
n
) es una fbf.
2) Si / y B son fbfs, tambien lo son: (/), (B) y (/
B).
3) Si / es una fbf y x 1 entonces (
x)(/)))
96
4. Axiomas: Cualesquiera que sean las fbfs /, B y (, las si-
guientes fbfs son axiomas de /
L
(K1) (/ (B /))
(K2) ((/ (B ()) ((/ B) (/ ()))
(K3) (((/) (B)) (B /))
(K4) ((
x)(/ B) (/ (
.
3. El esquema de axiomas K6 puede entenderse como una ley
de distribucion del cuanticador universal
.
4. La regla de inferencia Gen puede entenderse como una regla
de introduccion del cuanticador universal.
Ejemplo 20
/
L
(
x)(P(x) P(x)).
(1) ((P(x) ((P(x) P(x)) P(x)))
((P(x) (P(x) P(x))) (P(x) P(x)))) K2 (B por (P(x) P(x)) y C por P(x))
(2) (P(x) ((P(x) P(x)) P(x))) K1 (B por (P(x) P(x))
(3) ((P(x) (P(x) P(x))) (P(x) P(x))) MP, (1), (2)
(4) (P(x) (P(x) P(x))) L1 (B por P(x)
(5) (P(x) P(x)) MP, (3), (4)
(6) (
V
x)(P(x) P(x)) Gen (5)
98
5.2. Propiedades formales de la logica de predicados: metalogi-
ca.
5.2.1. Correccion y consistencia
El concepto en /
L
correspondiente al de tautologa en L es el
de verdad logica.
Para probar la correccion del sistema /
L
, debemos probar que
todo teorema de /
L
es una formula logicamente verdadera.
La demostracion sigue un camino paralelo al de la prueba de
la correccion para el sistema L.
Necesitamos algunas deniciones y resultados previos:
/ procede de /
0
por sustitucion.
Ejemplo 21 La formula
((
x)P(x) (
x)P(x))
de L, procede por sustitucion de la formula (p
1
p
1
) de
L.
Este concepto nos da la posibilidad de extender la nocion
de tautologa a las fbf s de L.
Denicion 5.2.1 Una fbf / de L es una tautologa si pro-
viene por sustitucion de una tautologa de L.
99
Proposicion 5.2.2 Si una fbf / de L es una tautologa en-
tonces es logicamente verdadera.
Observacion 5.2.3 Puede demostrarse que si ls fbf / de
L es una tautologa, entonces / es un teorema de /
L
.
Notad que, al contrario que sucede en el sistema formal
L, la armacion reciproca es falsa. Basta pensar en el
axioma K4 que es un teorema de /
L
, pero que no es una
tautologa de L.
El resultado siguiente:
Proposicion 5.2.4 Todos los casos particulares de los es-
quemas de axioma en /
L
son formulas logicamente ver-
daderas.
Junto con el hecho de que las reglas de inferencia del siste-
ma transmiten la propiedad de ser logicamente verdaderas
a las formulas inferidas, permite demostrar el teorema de
la correccion:
Teorema 5.2.5 (Teorema de la correccion para /
L
) Sea / una fbf
de L. Si
/
L
/ entonces [= /.
Corolario 5.2.6 El sistema /
L
es consistente.
100
5.3. Teorema de la deduccion.
Realizar demostraciones en el sistema /
L
es tan complicado
o mas que lo era en el sistema L, por eso de nuevo buscamos
metodos que nos ayuden en nuestra tarea de deducir.
En el sistema /
L
tambien existe un teorema de la deduccion,
pero que es algo mas compleja.
Veamos un ejemplo que ilustra el porque de esta mayor com-
plicacion.
Ejemplo 22 Para toda fbf / de L, /
/
L
(
x)/).
(Basta una prueba de independencia en la que:
/ P(x);
1 una interpretacion cuyo universo de discurso es el con-
junto de los n umeros enteros Z;
Interpretamos el relator P como el predicado . . . = 0.)
101
Proposicion 5.3.1 Sean / y B fbfs de L y un conjunto de fbfs
de L (que puede ser vacio). Si /
/
L
B y si la deduccion no
contiene aplicaciones de la regla de generalizacion, con respecto
a una variable que aparezca libre en /, entonces
/
L
(/ B).
La condicion referente al uso de la generalizacion puede eli-
minarse, exigiendo que la fbf /, de la proposicion 5.3.1, sea
cerrada.
Corolario 5.3.2 Si /
/
L
B y / es una fbf cerrada, entonces
/
L
(/ B).
Al igual que sucedia en el sistema L, el teorema de la deduc-
cion para /
L
tiene su reciproco:
Proposicion 5.3.3 Sean / y B fbfs de L y un conjunto de
fbfs de L. Si
/
L
(/ B) entonces /
/
L
B.
Partiendo de los anteriores resultados, obtenemos:
Corolario 5.3.4 (Silogismo hipotetico (SH)) Sean /, B y ( fbfs
de L.
(/ B), (B ()
/
L
(/ ().
102
Observaciones 5.3.5
1. El reciproco del teorema de la deduccion no ha necesitado
de ninguna condicion que lo debilita.
2. La regla SH puede aplicarse legitimamente en el sistema /
L
.
3. Otras facilidades para la deduccion que siguen siendo legi-
timas en /
L
:
a) La introduccion de teoremas en cualquier lnea de una
demostracion;
b) el uso del teorema de intercambio, valido.
Ejemplo 23
1.
/
L
(
x)(P(x) P(x)).
(1) (P(x) P(x)) Teorema de la identidad
(2) (
V
x)(P(x) P(x)) Gen (1)
2. (
Nomenclatura:
Dominio de una sustitucion.
Rango de la sustitucion.
Sustitucion identidad (vacia).
Sustitucion basica.
Ejemplo 24 Ejemplos de sustituciones son:
1
x/f(z), z/y
2
x/a, y/g(y), z/f(g(b))
El dominio de las sustituciones se puede ampliar a los termi-
nos y a las fbf s.
Es habitual representar la aplicacion de una sustitucion a
una expresion c, mediante la notacion c en lugar de la mas
com un (c).
108
Denicion 5.4.2 (Sust. de una variable por un termino) Sean u, x
y z variables, a un smbolo constante, f
n
un functor n-ario,
t, t
1
, . . . , t
n
terminos, P
n
un relator n-ario, y / y B fbfs cuales-
quiera.
(1) zx/t =
t si x z;
z en otro caso.
(2) ax/t = a.
(3) f
n
(t
1
, . . . , t
n
)x/t = f
n
(t
1
x/t, . . . , t
n
x/t).
(4) P
n
(t
1
, . . . , t
n
)x/t = P
n
(t
1
x/t, . . . , t
n
x/t).
(5) (/)x/t = (/x/t).
(6) (/ B)x/t = ((/x/t) (Bx/t)).
(7) (/ B)x/t = ((/x/t) (Bx/t)).
(8) (/ B)x/t = ((/x/t) (Bx/t)).
(9) (/ B)x/t = ((/x/t) (Bx/t)).
(10) ((
z)/)x/t =
(a) (
z)/;
(b) (
z)/
y z no esta libre en t;
(c) (
z)/
y z esta libre en t
y u no esta en (
z)/ ni en t.
(11) ((
z)/)x/t =
(a) (
z)/;
(b) (
z)/
y z no esta libre en t;
(c) (
z)/
y z esta libre en t
y u no esta en (
z)/ ni en t.
109
Observacion 5.4.3 En la denicion 5.4.2, los puntos 10(c) y 11(c)
pueden entenderse, de manera informal, diciendo que antes de
aplicar la sustitucion x/t conviene renombrar las variables li-
gadas.
La denicion 5.4.2 se ha restringido a una sustitucion de una
variable x/t para no complicar la notacion.
Generalizacion: Para una sustitucion = x
1
/t
1
, x
2
/t
2
, . . . x
n
/t
n
,
la expresion c se obtiene reemplazando simultaneamente ca-
da ocurrencia de x
i
en la expresion c, siguiendo las reglas de
la denicion 5.4.2.
Ejemplo 25 Sea / (
w)(P(x) H(w) (
x)R(x, z)).
/z/xx/f(c) (
w)(P(f(c)) H(w) (
y)R(y, f(c))
/w/f(g(a)), z/g(x) (
w)(P(x) H(w) (
y)R(y, g(x))
110
5.4.2. Reglas basicas de inferencia
En nuestro calculo evitaremos, en lo posible, el uso de formu-
las abiertas.
Cuando se elimine un cuanticador, sustituiremos las apari-
ciones de la variable ligada por el cuanticador por parametros
o terminos:
Un parametro es una variable libre, no suscetible de ser cuan-
ticada (las denotaremos por a, b, c, . . .).
Estos terminos no contendran ninguna variable susceptible
de ser ligada (usaremos, genericamente, el smbolos t para
representarlos).
Observacion 5.4.4 Para designar los parametros se emplean los
mismos smbolos que para las constantes porque en ocasiones
estas variables hacen referencia a un individuo concreto del uni-
verso de discurso, pero no deben confundirse con constantes.
111
Reglas basicas del cuanticador universal
Eliminacion del generalizador (EG).
(
x)/
/x/t
t es un termino que no contiene variables
subceptibles de ser ligadas
Introduccion del generalizador (IG).
/x/a
(
x)/
Condicion: a no debe aparecer en ning un
supuesto previo no cancelado.
Reglas basicas del particularizador
Eliminacion del particularizador (EP).
(
x)/
/x/a
. . .
B
B
Condicion: a no debe aparecer en (
W
x)A, ni
en B, ni en ning un supuesto previo no cance-
lado.
Introduccion del particularizador (IP).
/x/t
(
x)/
t es un termino que no contiene variables
subceptibles de ser ligadas
112
5.4.3. Reglas derivadas de inferencia.
Ver [3] para una lista completa de las mismas.
5.4.4. Consejos para la resolucion de argumentos.
Adem`as de los consejos para la resolucion de argumentos in-
troducidos en el captulo 3, aqu seguiremos los siguientes:
1. Si es posible, comenzar eliminando los cuanticadores de las
fbfs cerradas para obtener fbfs de la logica de enunciados.
2. aplicar las tecnicas de la logica de enunciados a las fbfs re-
sultantes y obtener una formula derivada proxima a la con-
clusion.
3. Restituir los cuanticadores eliminados, empleando las reglas
de inferencia de introduccion de dichos cuanticadores, para
obtener la conclusion.
Ejemplo 26
(
x)(Qx Rx), (
x)(Px Qx) (
x)(Px Rx)
(1) (
x)(Qx Rx)
(2) (
x)(Px Qx)
(3) Qa Ra EG 1
(4) Pa Qa EG 2
(5) Pa Ra SH 3,4
(6) (
x)(Px Rx) IG 5
113
Bibliografa
[1] Chin-Liang Chang and R. Char-Tung Lee. Symbolic Logic and
Mechanical Theorem Proving. Academic Press, Inc., 1973.
[2] A. Dea no. Introduccion a la logica formal. Alianza Univer-
sidad, Madrid, 1996.
[3] M. Garrido. Logica simbolica. Tecnos, Madrid, 1997.
[4] A. G. Hamilton. Logica para Matematicos. Paraninfo, 1981.
[5] J.W. Lloyd. Foundations of Logic Programming. Springer-
Verlag, Berlin, 1987. Second edition.
[6] B. Mates. Logica Matematica Elemental. Tecnos, Madrid,
1974.
114