[Tema :].

ELEMENTOS DE LGEBRA ABSTRACTA

(Notas incompletas de clase)
Incompletas y por tanto, imperfectas
(c) 2011, Juanmiguel Len-Rojas. Esta obra, puedes copiarla y modicarla puedes alterarla, transformarla o crear nuevas obras a partir de ella (obras derivadas), distribuirla y
comunicarla pblicamente y hacer un uso comercial de ella.
Metalicencia Gratuidad Cristiana <http://gratuidadcristiana.blogspot.com/>(metalicencia de Creative Commons CC 0 y CC BY).
[...] en la prctica, el pensamiento del matemtico no es
jams un pensamiento formalizado: el matemtico da un
sentido a todas las proposiciones, lo que le permite olvidarse
de la expresin de dichas proposiciones dentro de cualquier
formalizacin de la teora, si es que existe alguna. Ren
Thom.
z. Lgica de Primer Orden
(v. 0.1.0-alpha0)
1
No hay personas malas entre los defensores de esta cau-
sa. Ninguna persona buena miente. Todos mis amigos
deenden esta causa. Luego mis amigos no mienten.
Cuestin 1.
Solucin
Un ejemplo de por qu no basta con la Lgica Proposicional
y se hace necesaria la Lgica de Primer Orden (LPO), nos la
proporciona el texto
2
de la cuestin.
En el mbito de la Lgica Proposicional, no estamos ante
un razonamiento vlido pues dicho razonamiento se formaliza
como:
p, q, r s
siendo:
p No hay personas malas entre los defensores de esta cau-
sa
q Ninguna persona buena miente
r Todos mis amigos deenden esta causa
s Mis amigos no mienten
que claramente es contingente.
Sin embargo, s que se trata de un razonamiento vlido. Pe-
ro, para demostrarlo necesitamos de la Lgica de Predicados.
Su formalizacin en esta lgica es:
x(Mx Cx)
x(Mx Nx)
x(Ax Cx)
x(Ax Nx)
siendo:
Mx x es una persona mala
Cx x deende esta causa
Nx x miente
Ax x es mi amigo
Una deduccin formal que demuestra la validez del razona-
miento es la siguiente.
1. x(Mx Cx) [Premisa]
2. x(Mx Nx) [Premisa]
3. x(Ax Cx) [Premisa]
4. x(Mx Cx) [xPx xPx](1)
5. x(Mx Cx) [Ley de Morgan](4)
6. x(Mx Cx) [Def. de ](5)
7. Ma Ca [Eliminacin de ](6)
8. Ma Na [Eliminacin de ](2)
9. Aa Ca [Eliminacin de ](3)
10. Ca Ma [Ley de contrapuestos](7)
11. Aa Ma [Transitiva de ](9, 10)
12. Aa Na [Transitiva de ](11, 8)
13. x(Ax Nx) [Introduccin de ](12)
Como veremos ms adelante, son varios los mtodos que se
extienden a la Lgica de Predicados de Primer Orden. Uno
de ellos es el de las tablas semnticas. Mediante este m-
todo, puede comprobarse la validez de este razonamiento en
http://www.umsu.de/logik/trees/, introduciendo:
\neg \exists x(Mx \land Cx)
\land \forall x(\neg Mx \to \neg Nx)
\land \forall x(Ax \to Cx)
\to \forall x(Ax \to \neg Nx)
Figura 2.1: Mis amigos no mienten
Discusin
. . .
Bases tericas
z.:. Lgica de Primer Orden
La mayora de los enunciados simples en un lenguaje de co-
municacin normal constan de un sujeto y un predicado. Grosso
modo, el sujeto es la cosa acerca de la cual el enunciado ar-
ma algo y el predicado se reere a una propiedad que posee
el sujeto.
1
Utilizamos una asignacin de versiones similar al clsico versionado de software cfr. http://es.wikipedia.org/wiki/Versin_de_software.
2
Adaptado de Alfredo Deao (2002, pp. 170-171) Introduccin a la lgica formal. Alianza Editorial, Madrid.
1
2 CAPTULO 2. LGICA DE PRIMER ORDEN
z.z. Sintaxis
z.z.i. Silogismos y entimemas
. . .
z.z.z. El lenguaje /
1
de la Lgica de Primer Orden
(Frege, 1879)
Denicinz.i.-
Formalmente, el lenguaje /
1
de la Lgica Proposicional se de-
ne mediante un alfabeto compuesto por:
a) las conectivas de la Lgica Proposicional
b) los smbolos de validez e insatisfactibilidad, 1 y 0, res-
pectivamente
c) los smbolos de cuanticacin y , universal y exis-
tencial, respectivamente
d) un conjunto innito numerable de variables de sujeto:
1 = x, y, z, . . . , x
1
, y
2
, z
3
, . . . , x
n
, y
n
, z
n
, . . .
e) un conjunto vaco, nito o innito numerable ( de smbo-
los de constante
f ) un conjunto innito numerable de smbolos de predicado:
T = P, Q, R, . . . , P
1
, Q
2
, R
3
, . . . , P
n
, Q
n
, R
n
, . . .
g) unos smbolos de puntuacin: (, ), [, ], {,
}, ,
z.z.. Frmulas bien formadas
Denicinz.z.-
Dado un cac y los smbolos de cuanticacin, se denomina fr-
mula (generada por ellos) a cualquier palabra del alfabeto de
/
1
.
Denicinz..-
Una frmula bien formada (fbf ) de la Lgica de Primer
Orden es toda frmula que satisfaga alguna de las siguientes
condiciones:
a) toda variable enunciativa y toda variable predicativa n-dica
seguida de n variables subjetivas son fbf;
b) una fbf precedida de la conectiva es una fbf;
c) una fbf seguida de una conectiva del cac (distinta de , se-
guida de una fbf, y habiendo hecho buen uso de los parnte-
sis, es una fbf;
d) si F es fbf, y x es una variable subjetiva, entonces xF y
xF son fbf.
nicamente las frmulas obtenidas aplicando (a), (b), (c) o
(d) son fbf. Se nota con letras maysculas a los predicados (o
variables predicativas) y con letras minsculas (que suelen ser
de las ltimas del alfabeto), a los sujetos (o variables subjeti-
vas)
3
.
Denicinz.q.-
Se denomina sub_fbf a cualquier parte de una fbf que sea a
su vez fbf.
z.j. Semntica para /
1
z..i. Teora de modelos
Denicinz.j.-
Una interpretacin para una fbf de la Lgica de Primer Or-
den es un par (D, I), siendo:
a) D un conjunto o coleccin de objetos no vaca, denominado
dominio o universo;
b) I una funcin que asocia, a cada smbolo de constante, un
elemento del dominio, y a cada smbolo de predicado, una
relacin de la misma aridad sobre D.
Denicinz.6.-
Un modelo para una fbf es cualquier interpretacin para la
que dicha fbf sea verdadera. Un modelo para un conjunto
de fbf es cualquier interpretacin para la que todas las fbf del
conjunto sean verdaderas.
Ejemplo z.i.-
Sea la fbf Pab xyPxy. La interpretacin D = 1, 2, 3,
I(a) = 3, I(b) = 2, I(P) =< no es un modelo para ella.
z..z. Satisfactibilidad y validez
Denicinz..-
De forma anloga a Lgica Proposicional, se dice que una fbf
de la Lgica de Primer Orden es posible (o satisfactible) pre-
cisamente si es verdadera en alguna de sus interpretaciones.
Denicinz.8.-
Se dice que una fbf de la Lgica de Primer Orden es vlida
precisamente si es verdadera en todas sus posibles interpreta-
ciones.
Teorema z.i.-
a) Una fbf es vlida en un dominio de interpretacin no vaco
precisamente si su negacin no es posible en ese dominio.
b) Una fbf es vlida precisamente si su negacin no es posible.
c) Si una fbf es posible en un dominio no vaco, entonces es
posible en cualquier universo no vaco de igual o mayor car-
dinal.
d) Si una fbf es vlida en un dominio no vaco, entonces es
vlida en cualquier universo no vaco de igual o menor car-
dinal.
Denicinz.q.-
Se dice que es un conjunto nitamente satisfactible de
fbf precisamente si todos los subconjuntos nitos de fbf de
son satisfactibles.
Teorema z.z (Teorema de Compacidad).-
Un conjunto de fbf es satisfactible si y solo si es nitamente
satisfactible.
z... Cuanticadores
Denicinz.io.-
Se denomina cuanticador a toda expresin que nos diga, en
algn sentido, cuntos objetos x satisfacen una cierta propiedad
P.
Denicinz.ii.-
El cuanticador universal ( generalizador), se nota , y se
lee para todo. Expresndolo junto a una propiedad de x (una
proposicin), se simboliza xPx, signicando todo objeto x
satisface la propiedad P.
Denicinz.iz.-
El cuanticador existencial ( particularizador), se nota ,
y se lee para algn. Expresndolo junto a una propiedad de
x (una proposicin), se simboliza xPx, signicando algn
objeto x satisface la propiedad P.
Denicinz.i.-
Se denomina predicado mondico al que afecta a un solo su-
jeto; didico (o binario) si afecta a dos sujetos; y en general,
n-dico ( polidico) si afecta a n sujetos
4
. A los predicados
mondicos tambin se les conoce como propiedades y a los
didicos y polidicos como relaciones.
Ejemplo z.z.-
Formalicemos los siguientes enunciados:
a) No todo el mundo sabe programar: sean Hx x es ser
humano, Px x sabe programar, entonces, x(Hx
Px).
b) Algunos mamferos nadan: sean Mx x es mamfero,
Nx x nada, entonces, x(Mx Nx).
c) Existe un nmero entero que es mayor que cualquier otro:
sean Zx x es entero, Mxy x es mayor o igual que
3
Este es el punto de vista de la lgica tradicional. Actualmente, se entiende por sujeto cualquier nombre propio y por predicado cualquier nombre
comn. As, si consideramos la expresin Ana es agradable, las terminologas tradicional y actual coinciden: Ana es el sujeto y agradable el
predicado; sin embargo en toda mujer es agradable, segn la terminologa tradicional, mujer es el sujeto y agradable el predicado, pero segn
la actual, ambos son predicados.
4
Los cuanticadores son representados de diversas formas por los autores. Nuestra terminologa es la de Gentzen y Kleene. Algunos autores
simbolizan los cuanticadores universal y existencial en la forma

y

, respectivamente (ver nota 22). Otros, en la forma y , respectivamente.
Algunos tambin usan parntesis en la forma (xP(x)), representando un predicado polidico por P (x
1
, x
2
, . . . , x
n
) en vez de Px
1
x
2
. . . x
n
.
2.4. TEORA DE LA DEMOSTRACIN 3
y, entonces, x(Zx y(Zy Mxy)).
Al hablar de Lgica de Primer Orden, quiere decirse que
se admite tan slo la cuanticacin de las variables subjeti-
vas. Esto es, no se consideran expresiones del tipo PPx, que
se situaran en la denominada Lgica de Segundo Orden
(Lgica Superior).
Imaginemos que se quisiera formalizar la expresin todo el
mundo tiene algo. Podra formalizarse x tiene y por Txy;
entonces se cuanticara as: xyTxy, representando esto la
expresin todo el mundo tiene algo. Cuando, como aqu, se
trata de predicados con ms de una variable, se habla de cuan-
ticacin polidica. En ella, debemos tener cuidado al usar
los cuanticadores: siguiendo el ejemplo anterior, yxTxy sig-
nica hay algo que tiene todo el mundo, que no es, obviamen-
te, lo que desebamos formalizar.
Imaginemos que se desea formalizar hay una tortuga que
corre ms que todos los gatos y todos los perros. Podra forma-
lizarse x corre ms que y por Cxy; entonces xyz(Cxy
Cxz) representa la expresin. En vez de yz podemos escribir

2
yz, o simplemente yz.
Denicinz.iq.-
En las expresiones tambin pueden aparecer constantes (obje-
tos especcos del dominio). Se representan con letras mins-
culas, pero de las primeras del alfabeto.
Ejemplo z..-
Por ejemplo, si Mxy x es mayor o igual que y, entonces
la expresin yMay es falsa en el dominio Z de los nmeros
enteros, al no existir ningn nmero entero a mayor que todos
los dems.
z..q. Precedencia de cuanticadores y conectivas
Salvo que los smbolos de puntuacin indiquen otra cosa,
los cuanticadores son menos potentes que las conectivas de la
Lgica Proposicional.
Denicinz.ij.-
Grado lgico de una fbf de la Lgica de Primer Orden es el
nmero de smbolos lgicos que posee, contando las repeticiones.
Ejemplo z.q.-
1. Grado_Lgico[x(Px Qx)] = 3
2. Grado_Lgico[x(Qx yQy) xRx] = 6
Denicinz.i6.-
Se denomina smbolo dominante de una fbf de la Lgica de
Primer Orden al smbolo lgico ms potente.
Ejemplo z.j.-
1. Smbolo_Dominante[x(Px Qx)] =
2. Smbolo_Dominante[x(Qx yQy) xRx] =
Denicinz.i.-
Se denomina alcance de un smbolo lgico en una fbf de la L-
gica de Primer Orden al conjunto de fbf o sub_fbf del cul sea
smbolo dominante. El uso correcto de parntesis es esencial a
la hora de determinar el alcance de un smbolo lgico.
Ejemplo z.6.-
Sean A, x(Px Qx) y B, x(y (Pxy Qxy) Rx). En-
tonces: Alcance[; A] = Px, Qx; Alcance[y; B] = Pxy
Qxy; Alcance[x; B] = y (Pxy Qxy) Rx.
Podemos reescribir B, z (y (Pzy Qzy) Rz), o
x(w(Pxw Qxw) Rx), o incluso renombrando las dos
variables de sujeto, z (w(Pzw Qzw) Rz), todas fr-
mulas equivalentes, pues el valor de verdad de la fbf sigue
siendo el mismo bajo una determinada interpretacin; sto su-
cede porque todas las variables estn en el alcance de algn
cuanticador.
Denicinz.i8.-
A este tipo de variables, que estn en el alcance de algn cuan-
ticador, se les denomina ligadas ( aparentes).
Ejemplo z..-
Sea A, [x(yPxy Qxy)] y supongamos que Pxy es [x y] y
Qxy es [y es mltiplo de x] y que el dominio de interpretacin
es Z. En esta interpretacin, A no tiene un valor de verdad
determinado. Dado un x, podemos elegir un y (por ejemplo,
y = 2x) tal que yPxy sea verdadero, pero en Qxy, y puede
tomar cualquier valor del dominio, independientemente del que
haya tomado para vericar yPxy. En este caso, para los va-
lores de y que sean mltiplos de x, A es verdadera, mientras
que para los y que no sean mltiplos de x, A es falsa. sto se
debe a que el nico cuanticador que alcanza a Qxy, , slo
liga la variable x, dejando libre y.
Denicinz.iq.-
A estas variables, que no caen dentro del alcance de ningn
cuanticador, se les denomina, precisamente, libres ( reales).
Denicinz.zo.-
Se denomina seudo_fbf a toda expresin que contenga varia-
bles libres.
Denicinz.zi.-
Un cuanticador, siempre va indizado por una o varias varia-
bles de sujeto. Se denomina prejo cuanticacional a sto.
Se llama matriz cuanticacional a la fbf o sub_fbf alcanza-
da por el prejo.
Ejemplo z.8.-
Sea el B anterior. Tenemos dos prejos cuanticacionales: x
y y, cuyas matrices son, respectivamente, [y (Pxy Qxy)
Rx] y [Pxy Qxy].
z..j. Implicacin y equivalencia lgica
. . .
z..6. Equivalencia lgica
. . .
z... Interdenicin de cuanticadores
Los cuanticadores universal y existencial se relacionan as:
xPx xPx xPx xPx
xPx xPx xPx xPx
De este modo, es suciente un cuanticador y la conectiva
para denir el otro. De forma paralela a la Lgica Proposi-
cional, se habla de conjunto adecuado de cuanticadores
(caf ), siendo en este caso, tres: , , y .
z..8. Modelos de Herbrand
. . .
z.q. Teora de la demostracin
. . .
z.q.i. Deducciones formales
. . .
z.q.z. Sistemas deductivos
. . .
z.q.. Correccin
. . .
z.q.q. Consistencia
. . .
z.q.j. Completitud
. . .
z.j. Sistema de deduccin natural (SDN)
De igual modo que como hacamos en Lgica Proposicional,
consideramos unas reglas bsicas, a partir de las cuales somos
capaces de generar todos los teoremas de la Lgica de Primer
Orden. Este sistema de deduccin natural es el introducido
por Gentzen y Jaskowski, en 1934.
z.j.i. SDN para la cuanticacin mondica (LPO-M)
z.j.i.i. Reglas bsicas
Introduccin de
5
: Pa xPx
5
a no es una constante, un objeto concreto del dominio, sino todo lo contrario, a representa un objeto cualquiera, libre de cualquier condicin.
Por ejemplo, si de Pa Qa deducimos Pa, esto es una suposicin, luego no podemos aplicar la regla para obtener xPx. Esta regla reeja la idea
de representante de una clase, entendiendo por tal, a un objeto que goza de todas las propiedades comunes de los objetos de la clase. Si un aserto es
comprobado para l, no hace falta comprobarlo para el resto de objetos de la clase.
4 CAPTULO 2. LGICA DE PRIMER ORDEN
Eliminacin de : xPx Pa
Eliminacin de
6
: xPx Pa A A
Introduccin de : Pa xPx
z.j.i.z. Reglas derivadas
Descenso: xPx xPx
Mutacin de variable: xPx yPy
xPx yPy
Distribucin en conjuncin
y disyuncin:
x(Px Qx) xPx xQx
x(Px Qx) xPx xQx
xPx xQx x(Px Qx)
x(Px Qx) xPx xQx
x(Px Qx) xPx xQx
xPx xQx x(Px Qx)
Distribucin en implicacin: x(Px Qx) xPx xQx
xPx xQx x(Px Qx)
x(Px Qx) xPx xQx
x(Px Qx) xPx xQx
Distribucin en
coimplicacin:
x(Px Qx) xPx xQx
x(Px Qx) xPx xQx
Distribucin condicionada (x ligada en A):
en conjuncin y
disyuncin:
A xPx x(A Px)
A xPx x(A Px)
A xPx x(A Px)
A xPx x(A Px)
en implicacin: (A xPx) x(A Px)
(A xPx) x(A Px)
(xPx A) x(Px A)
(xPx A) x(Px A)
z.j.z. SDN para la cuanticacin polidica (LPO-P)
z.j.z.i. Reglas bsicas
Introd. de
7
: Pa
1
. . . a
n
x
1
. . . x
n
Px
1
. . . x
n
Elimin. de : x
1
. . . x
n
Px
1
. . . x
n
Pa
1
. . . a
n
Introd. de : Pa
1
. . . a
n
x
1
. . . x
n
Px
1
. . . x
n
Elimin. de : (x
1
. . . x
n
Px
1
. . . x
n
Pa
1
. . . a
n
A) A
z.j.z.z. Reglas derivadas
Conmutativas
(, ):
xyPxy yxPxy
xyPxy yxPxy
xyPxy yxPxy
Reduccin del
8
: xyPxy xPxx
Doblez del : xPxx xyPxy
Algunas de las dems reglas de cuanticacin monaria se
pueden extender fcilmente a cuanticacin n-aria; por ejem-
plo:
Descenso: x
1
. . . x
n
Px
1
. . . x
n
x
1
. . . x
n
Px
1
. . . x
n
z.6. Semidecidibilidad
z.6.i. Tablas de verdad
Dada Px, sus valores de verdad (realmente conjuntos de va-
lores de verdad) pueden ser: 0 si Px es falsa, 0, 1 si Px es
verdadera para ciertos valores de x y falsa para otros, 1
si Px es siempre verdadera. Puede, entonces, construirse una
tabla de verdad para los cuanticadores:
Px xPx xPx
0 0 0
0, 1 0 1
1 1 1
Anlogamente, dada Pxy, sus valores de verdad pueden ser:
0 si Pxy es falsa para cualquier pareja (x, y), 0, 1 si Pxy es
verdadera para ciertos pares (x, y) y falsa para otros, 1 si Pxy
es verdadera para cualquier par (x, y):
Pxy xyPxy xyPxy yxPxy . . .
0 0 0 0
0, 1 0 0, 1 0, 1
1 1 1 1
. . . yxPxy xyPxy xyPxy
0 0 0
0, 1 0, 1 1
1 1 1
z.6.i.i. Dominio de interpretacin nito
En este caso, es posible sustituir los cuanticadores por ex-
presiones lgicamente equivalentes en funcin de las conectivas
, . Si a
1
, a
2
, . . . , a
n
son los elementos del dominio de inter-
pretacin, entonces
9
:
xPx Pa
1
Pa
2
Pa
n
xPx Pa
1
Pa
2
Pa
n
As, en un dominio de interpretacin nito no es necesario
el uso de cuanticadores, aunque se hace por comodidad, y la
decibilidad de una fbf de la Lgica de Primer Orden con do-
minio de interpretacin nito se reduce a la decibilidad de una
fbf en Lgica Proposicional.
z.6.i.z. Dominio de interpretacin no nito
LPO-M:
Ejemplo z.q.-
Es vlida x(Px Px Qx)?
Px Qx Px Px Qx x(Px Px Qx)
1 1 1 1 1 1
1 0 1 1 1 1
1 0, 1 1 1 1 1
0, 1 1 0, 1 1 1 1
0, 1 0 0, 1 1 0, 1 1
0, 1 0, 1 0, 1 1 0, 1 1
0 1 0 1 1 1
0 0, 1 0 1 0, 1 1
0 0 0 1 0 1
En las las sealadas, las implicaciones son verdaderas; bas-
ta observar que las evaluaciones se hacen para un x determi-
nado. En ambos casos, la implicacin sera falsa si Px es 1 y
Px Qx es 0, pero esto es imposible.
En el caso de la LPO-M toda fbf es decidible (teorema de
Lwenheim (1915)). Tal teorema reduce el problema de deci-
bilidad a un dominio de interpretacin nito; concretamente: si
una fbf de la LPO-M, que consta de n predicados distintos, es
vlida en un dominio de interpretacin de al menos 2
n
objetos,
entonces es vlida en todo dominio de interpretacin no vaco,
sea nito o no.
En teora ..., perfecto, pero en la prctica se necesitara una
tabla de verdad enorme para determinadas fbf. En vez de tal
teorema se utilizan ciertos algoritmos (cfr. Frost (1989) y Ga-
rrido (1991)).
LPO-P:
Ejemplo z.io.-
Es vlida xyPxy?
Pxy yPxy xyPxy
0 0 0
0, 1 0, 1 0, 1
1 1 1
Segn la 2 la, es posible, pero no es vlida.
Sin embargo, en el caso de la LPO-P no todas las fbf son
decidibles cfr. 2.6.4.
6
a representa un individuo que si bien verica P, no debe poseer ninguna otra propiedad (esto es, no debe haber intervenido en pasos anteriores
de la demostracin). Adems no debe aparecer en A. Esta regla representa la idea de que si sabemos que existe un objeto, y de la existencia de ese
objeto deducimos una conclusin, entonces no hace falta identicar a tal objeto para tener la conclusin. Por ejemplo, de xPx hay una sustancia
resbaladiza en el suelo concluimos A podemos caernos si no vamos con cuidado, sin tener que identicar la sustancia, ya sea aceite, una cscara
de pltano, etc.
7
Son vlidas las consideraciones hechas en cuanticacin simple, slo que aqu debemos hacerlo extensivo a todos los parmetros.
8
y no debe estar ligado ni en xyPxy ni en xyPxy.
9
Algunos autores simbolizan los cuanticadores universal y existencial en la forma

, respectivamente, debido a esta relacin que existe entre

los cuanticadores y las conectivas en el caso nito.
2.7. APNDICE I: DEMOSTRACIONES MATEMTICAS 5
z.6.z. Tablas semnticas
Adems de los patrones de extensin de tipo (con-
juntivos):

1

2
Doble negacin (DN): A A A
Conjuncin (C): A B A B
Negacin de la disyuncin (ND): (A B) A B
Negacin de la implicacin (NI): (A B) A B
y los patrones de extensin de tipo (disyuntivos):

1

2
Neg. de la conjuncin (NC): (A B) A B
Disyuncin (D): A B A B
Implicacin (I): A B A B
Equivalencia (E): A B A B A B
Neg. de la equivalencia (NE): (A B) A B A B
se tienen ahora patrones de extensin para los casos de las
cuanticaciones.
Denicinz.zz.-
Los patrones de extensin de tipo (cuanticacin exis-
tencial):
(x) (t)
Neg. del cuantif. universal (NCU): xA(x) A(t)
Cuanticador existencial (CE): xA(x) A(t)
y los patrones de extensin de tipo (cuanticacin
universal):
(x) (t)
Cuanticador universal (CU): xA(x) A(t)
Negacin del cuantif. existencial (NCE): xA(x) A(t)
. . .
Denicinz.z.-
Como sabemos, las reglas de extensin, () y () permiten
extender un rbol, introduciendo subfrmulas de las fbf que eti-
quetan nodos de dicho rbol. En LPO se aaden dos nuevas
reglas, () y (). Sea A una fbf que etiqueta un nodo hoja; si la
rama de la cual es nodo hoja,
A
, es abierta y el nodo de A no
est etiquetado con

, entonces:
Regla (): Si A es una fbf de tipo , se extiende
A
, con un
nuevo nodo, (a), siendo a un parmetro que no aparece
antes en la rama.
Regla (): Si A es una fbf de tipo ), se extiende
A
, con un
nuevo nodo, (t), siendo t un trmino que aparece en la
rama (o un parmetro cualquiera, caso de no existir tal
trmino).
La norma para la aplicacin de las reglas de extensin
es la siguiente:
(1) Las reglas (), () y () slo se aplican una vez a cada
nodo, tras lo que se etiqueta el nodo con el signo

.
(2) La regla () puede aplicarse indenidamente.
(3) Las reglas () y () tienen prioridad sobre las reglas () y
().
(4) La regla () tiene prioridad sobre la regla ().
(5) Una vez cerrada una rama, se etiqueta con el signo y no
se extiende ms.
. . .
z.6.. Resolucin
. . .
z.6.q. Indecidibilidad
. . .
En el caso de la LPO-P no todas las fbf son decidibles.
Existen varias clases de fbf decidibles, de entre las cuales des-
tacamos tres (descubiertas ya por Bernays y Schonfinkel
en 1928):
1) Todas las fbf del tipo x
1
. . . x
i
x
i+1
. . . x
n
Px
1
. . . x
n
.
2) Todas las fbf del tipo x
1
. . . x
n
Px
1
. . . x
n
.
3) Todas las fbf del tipo x
1
. . . x
n
Px
1
. . . x
n
.
Consulte tambin
. . .
z.. Apndice I: Demostraciones matemticas
En la Matemtica, las implicaciones lgicas ( [= A) y las
deducciones o inferencias formales ( A) colapsan en im-
plicaciones, deducciones o inferencias matemticas ( A) y
las equivalencias lgicas ( A) y las deducciones o inferen-
cias formales dobles ( A) en equivalencias matemticas
( A)
10
.
En esta seccin tratamos sobre algunas formas de demostrar
la validez o falsedad de un teorema matemtico, A B (si qui-
siramos demostrar un teorema de la forma A B, debemos
demostrar que se satisfacen A B y B A).
z..i. Demostracin por contraejemplos
Si se sospecha que no es correcto el teorema A B, es-
to se podra demostrar encontrando un ejemplo para el que A
sea verdadera y B sea falsa (es decir, un modelo para A, B).
Se dice entonces que se ha encontrado un contraejemplo al
teorema. Obsrvese que un nico contraejemplo es suciente
para demostrar la invalidez del teorema pero el hecho de que
no se encuentre un contraejemplo no signica que el teorema
sea vlido.
z..z. Demostracin con ejemplos
El hecho de encontrar variados ejemplos que veriquen un
teorema no demuestra la validez del mismo. Slo ocurre esto
ltimo en casos especiales, por ejemplo: (a) el universo es nito
(a veces, este tipo de demostracin se llama induccin perfecta
o exhaucin): todos los impares mayores que 0 y menores que
9 son primos; en este caso, podemos analizar uno a uno esos
nmeros (1, 3, 5, 7), resultando ser todos primos y por tanto,
verdadero el teorema; (b) un teorema de existencia: en esa
bolsa hay alguna bola blanca.
z... Demostracin directa
Consiste en demostrar la validez del teorema directamente,
esto es, simplemente debemos inferir B de A.
Ejemplo z.ii.-
(x Z)(x mltiplo de 10 x mltiplo de 5)?
Resolucin. S. En efecto, k Z, x = k 10 k Z, x =
k25) y como k2 Z, se tiene que h = k2 Z, x = h5.
z..q. Contraposicin
Consiste en demostrar directamente la validez de B A
(lo que por la regla de contraposicin, (A B) (B A),
equivale a demostrar la validez de A B).
Ejemplo z.iz.-
x Z, x mltiplo de 10 x mltiplo de 5)?
Resolucin. S. En efecto, usando la contrapositiva, la pregun-
ta es equivalente a: (x Z)(si x no es mltiplo de 5 enton-
ces no es mltiplo de 10)? Y esto es cierto, pues estando A y
B denidos como anteriormente, B (n Z)(x ,= n5);
en particular, sea un entero de la forma n = k2, entonces:
(k Z)(x ,= k25) (k Z)(x ,= k10) A.
z..j. Reduccin al absurdo
Consiste en demostrar la validez de (A B) 0, lo cual,
segn la regla (reduccin al) absurdo, (A 0) A, implica
la validez de A B.
Ejemplo z.i.-
Si un nmero real sumado consigo mismo es l mismo, enton-
ces tal nmero es el cero?
Resolucin. S. En efecto, sea x R, AB x+x = xx ,=
0; al ser x ,= 0, podemos dividir 2x = x entre x, lo cual conduce
a la contradiccin 2 = 1.
10
Algunos autores introducen smbolos como (por tanto) o (porque), diferenciando el nivel metalingstico de la Matemtica del del
lenguaje natural, pero nosotros preferimos no hacerlo.
6 CAPTULO 2. LGICA DE PRIMER ORDEN
z.S. Apndice II: Sosmas, falacias, paralogis-
mos
Las deniciones de sosma, falacia y paralogismo, segn el
Diccionario de la Lengua Espaola (Real Academia Espao-
la)
11
son las siguientes:
sosma.
(Del lat. sophisma, y este del gr. ).
1. m. Razn o argumento falso con apariencia de verdad.
falacia.
(Del lat. fallaca).
1. f. Engao, fraude o mentira con que se intenta daar a al-
guien.
2. f. Hbito de emplear falsedades en dao ajeno.
paralogismo.
(Del lat. paralogismus, y este del gr. o).
1. m. Razonamiento falso.
Debido a esto, y dado que no vamos a entrar en disquisi-
ciones sobre intencionalidades, preferimos emplear la denomi-
nacin sosma. La esencia, en cualquier caso, est en que se
trata de una argumentacin o inferencia errnea.
Se distingue entre sosmas formales y sosmas no for-
males.
z.8.i. Sosmas formales
Armacin de la : A B, A B
Falso dilema ( B&W Thinking): A B C 1,
A B, A B
Armacin del consecuente: A B, B A
Negacin del antecedente: A B, A B
Argumentum ad logicam: 0 0
Transposicin de cuanticador: xyPxy yxPxy
Secundum quid: a A, Pa x A, Px
Existencial: xPx xPx
Ntese que esta ltima, que puede sorprender, es errnea si
el dominio es vaco.
Entre los sosmas no formales se distinguen los sosmas
por ambigedad y los sosmas materiales.
z.8.z. Sosmas no formales por ambigedad
Se distinguen:
Por equvoco, que corresponde a una ambigedad semn-
tica, lxica, y sucede cuando el signicado de los trminos
involucrados en las premisas vara segn estas;
Por vaguedad, que ocurre ante ciertos trminos imprecisos;
Anbologa, que corresponde a una ambigedad sintcti-
ca, estructural o incluso semntica pero inmersa en una
subestructura de la armacin;
Por nfasis, que ocurre cuando se destaca toda o parte de
la armacin;
Por composicin, que sucede cuando se le atribuye una
propiedad a un todo porque sus partes la tienen;
Por divisin, que corresponde a atribuir una propiedad a
las partes de un todo porque este la tiene.
Ejemplo z.iq.-
Por equvoco: nicamente el gato malla, Ninguna ga-
ta es un gato Ninguna gata malla se ha alterado el
signicado de gato; El conocimiento es poder, El po-
der es algo que corrompe El conocimiento es algo que
corrompe se ha alterado el signicado de es (de expresar
una identidad en la primera premisa a un uso predicativo en
la segunda). Por vaguedad: Alguna bola es roja, Esto
es una bola Esto es una bola roja. Anbologa: Todo
grupo tiene un elemento neutro, (Z, +) tiene por elemento
neutro el 0 Todo grupo tiene por elemento neutro el 0
el enunciado anbolgico es la primera premisa, pues en una
interpretacin el neutro puede ser distinto para cada grupo y
en la otra (la que usa el argumento), todos los grupos tienen
el mismo elemento neutro. Por nfasis: . . . Por composi-
cin: . . . Por divisin: . . .
z.8.. Sosmas no formales materiales
Entre estos ltimos, a su vez, se distinguen los sosmas
por datos insucientes y los sosmas de pertinencia.
z.8..i. Sosmas por datos insucientes
Generalizacin inadecuada: la muestra a partir de
la que se inere la conclusin no es representativa de la
poblacin;
Falta de pruebas: se omiten intencionadamente los datos
o hechos desfavorables para la conclusin;
Falsa causa: se toma un hecho como causa de otro, cuan-
do no lo es.
Entre los sosmas por falsa causa se distinguen:
De correlacin coincidente o post hoc post hoc,
ergo propter hoc (tras esto, luego a causa de esto) o non
sequitur (no le sigue): Ocurre A, B ocurre despus de
A A es causa de B;
De correlacin accidental non causa pro causa (una
no causa por causa): A ocurre cuando B ocurre A es
causa de B o B es causa de A.
Ejemplo z.ij.-
. . .
z.8..z. Sosmas de pertinencia
Ad hominen (contra el hombre): ; existen dos moda-
lidades:
ofensiva:
A arma P, A no es digna de consideracin por tal y
cual P es falso.
y circunstancial:
A arma P, A no es able por sus circunstancias
particulares P es falso.
Ad baculum (al bastn), apelacin a la fuerza:
A arma P, A tiene dominio sobre B P.
Ad populum (al pueblo): Se excitan los sentimientos
del contrario a favor de la armacin. Dependiendo del ti-
po de sentimiento que se excite puede recibir otros nombres,
p.je. Ad misericordiam (a la misericordia).
A arma P, Se apela (sin fundamento) a los sentimientos y
emociones de A sobre P P.
Ex populo (a partir del pueblo): Se apela (sin funda-
mento) a la creencia de una mayora:
Se arma P, La mayora cree P P.
Ad verecundiam (apelacin a la autoridad):
A arma P, Se apela (sin fundamento) al conocimiento de
A sobre P P.
Ad ignorantiam (a la ignorancia): Si no se ha demos-
trado la falsedad de algo se inere que es verdadero:
No existe prueba de que P sea falso (resp. verdadero) P
es verdadero (resp. falso).
Ignoratio elenchi (ignorancia del tema): La conclu-
sin que se obtiene no es o no tiene que ver con la premisa:
A arma P Q.
Tu quoque (t tambin): Se devuelve la ofensa pre-
tendiendo la razn (puede verse como un caso particular de
sosma ad hominen):
A arma que B satisface P (algo negativo), B arma que
A satisface P B satisface P.
Petitio principii (peticin de principio): La conclusin
es una de las premisas
P, P Q, Q P P.
Ejemplo z.i6.-
. . .
z.8... Sosmas de justicacin de hiptesis
De prediccin vaga: . . .
11
Acceso abierto en http://buscon.rae.es/draeI/
2.9. APNDICE III: VAS IDENTIFICADAS DE INFERENCIA 7
De salvacin ad hoc de una hiptesis: . . .
Por prediccin mltiple: . . .
Por falta de prediccin: . . .
Ejemplo z.i.-
. . .
z.q. Apndice III: Vas identicadas de infe-
rencia
Vemoslo con un ejemplo. Sean A Estas bolas las he sa-
cado de esta bolsa (la muestra); B Estas bolas son rojas
(un hecho observable en la muestra); C Las bolas de esta
bolsa son rojas (la poblacin).
Induccin: De saber que se est ante una muestra que
procede de una poblacin determinada observar que una propie-
dad es satisfecha por todos los elementos de la muestra, inferir
que dicha propiedad la satisfacen todos los elementos de dicha
poblacin A, B C B, A C.
Educcin: . . .
Aduccin: . . .
Deduccin: De saber que una propiedad se satisface en
toda una poblacin y de saber que estamos ante una muestra
que procede de dicha poblacin, inferir que dicha propiedad se
satisface en dicha muestra C, A B.
Abduccin: De saber que una propiedad se satisface en
toda una poblacin y de observar que dicha propiedad se sa-
tisface en toda una muestra, inferir que dicha muestra procede
de dicha poblacin C, B A;
Transduccin: 1 A, 2 B, 3 C.
Retroduccin: . . .
Ejemplo z.i8.-
Se trata de elegir el mejor candidato para un puesto. Podra
hacerse en tres fases consecutivas: una induccin, una retro-
duccin y una abduccin:
1) Induccin: Para cada organizacin O
i
se razona as: Es-
te trabajador de esta organizacin es el que mejor desempe-
a ese puesto Y Este trabajador posee las caractersticas
C
i
, LUEGO El mejor de esta organizacin para desem-
pear ese puesto posee las caractersticas C
i
.
2) Retroduccin: Estos trabajadores son los mejores en el
desempeo de ese puesto en sus organizaciones Y Es-
tos trabajadores poseen las caractersticas (C
1
, . . . , C
n
),
LUEGO El mejor posee las caractersticas (C
1
, . . . , C
n
)
indica una funcin o procedimiento de agregacin,
por ejemplo, una media aritmtica, ponderada, etc.;
(C
1
, . . . , C
n
) indica un conjunto de caractersticas resul-
tado de dicha agregacin de caractersticas procedentes de
las distintas organizaciones.
3) Abduccin: El mejor posee las caractersticas
(C
1
, . . . , C
n
) Y Este candidato posee las caractersticas
(C
1
, . . . , C
n
), LUEGO Este candidato es el mejor.
Ejemplo z.iq.-
Qu signica ser lgico?. . .
Para el prximo reclutamiento, en la organizacin X deci-
den proponer dos pruebas estructuradas (el entrevistador pro-
porciona una lista estable de cuestiones), que contienen cuestio-
nes de respuesta de eleccin mltiple, cuestiones de profundidad
(desarrollo de temas), cuestiones interactivas de descripcin de
conductas (qu hara el entrevistado en tal o cual supuesto o
simulacin?) y de tensin (que provocan al entrevistado, ins-
peccionando su grado de paciencia). Lo novedoso, creen ellos,
es que el nmero de cuestiones lo determina el candidato (es-
to mide su potencial de aceptacin de riesgo, de atrevimiento).
La dinmica de las pruebas es ir solicitando cuantas cuestiones
deseen, se atrevan y se arriesguen a fallar.
La persona A, en la primera, solicita 6 (falla en la 6) y en
la segunda, 19 (falla al principio 7 seguidas). La persona B, en
la primera, solicita 14 (falla las 4, 9, 10) y en la segunda, 6.
. . .entre muchas cosas: saber lo que se quiere.
Los porcentajes de aciertos son los siguientes:
A: 5 de 6 en la primera prueba y 7 de 19 en la segunda.
B: 11 de 14 en la primera prueba y 2 de 6 en la segunda.
Si slo se atiende a estos porcentajes:
La persona A es preferida (~) a B en la primera prueba
porque 5/6 > 11/14 y tambin A ~ B en la segunda prueba
porque 7/19 > 2/6. Sin embargo, B ~ A en el conjunto de
ambas porque 13/20 > 12/25.
z.:o. Apndice IIII: Paradojas
. . .
z.::. Ejercicios

z.i .- Considere la expresin: (x)(Px Qx) (x, Px)

(x, Qx). Existe alguna interpretacin, con dominio el con-
junto de nmeros reales, R, que no sea un modelo para dicha
expresin?

z.z .- Considere la expresin: (x)(Px Qx) (x, Px)

(x, Qx). Existe alguna interpretacin que no sea un modelo
para dicha expresin?

z. .- Considere la expresin: (x)((AxBx) (AxBx)).

a) Cul es su valor de verdad si el dominio de interpretacin
es Z y A(x) = x 0 y B(x) = x < 0?
b) Encuentre otra interpretacin de la expresin anterior para
la que el valor de verdad de la expresin sea el contrario.

z.q .- Demuestre la validez del siguiente argumento ( San

Agustn, va A. Deao (2002), p. 363): Si me engao, exis-
to. El que no existe no puede engaarse; luego yo existo si me
engao.

z.j .- En un monte hay 77 animales, los cuales tienen o dos o

cuatro patas. Un habitante del lugar le dice: Al menos uno de
los animales tiene dos patas, y dado cualquier par de animales,
al menos uno de los dos tiene cuatro patas.
a) Formalice en el lenguaje /
1
lo que le dice el lugareo.
b) Cuntos animales hay de dos y de cuatro patas?

z.6 .- Qu nica deduccin es posible obtener a partir de las

siguientes premisas? (Lewis Carroll)
P
1
Ningn gato que gusta del pescado es indomesticable
P
2
Ningn gato sin cola jugar con un gorila
P
3
Gatos con bigotes gustan siempre del pescado
P
4
Ningn gato tiene cola a menos que tenga bigotes
P
5
Ningn gato domesticable tiene ojos grises

z. .- Sabiendo que el Parlamento consiste en la Cmara de

los Comunes ms la Cmara de los Lores, demuestre la vali-
dez de la siguiente inferencia (Lewis Carroll, va A. Deao
(2002), p. 366):
Todos los miembros de la Cmara de los Comunes
tienen perfecto dominio de s mismos
Ningn parlamentario que use corona de nobleza
participara en una carrera de burros
Todos los miembros de la Cmara de los Lores
usan corona de nobleza
Ningn miembro del Parlamento participara
en una carrera de burros a menos que
tuviera un perfecto dominio de s mismo

z.8 .- Es la siguiente argumentacin correcta? Lo mejor pa-

ra despejar las dudas [sobre el porcentaje o el nmero de para-
dos de Espaa] es preguntarse cuntos parados conoce, cuntos
tiene usted en su familia. Es una de las estadsticas ms ables.
Se lo aseguro. Luego pregunte a sus vecinos y sume. (Rodolfo
Serrano, El Pas Semanal, 6-2-1985).
z.:z. Nombres propios
Wilhelm Ackermann (n. 1896, f. 1962) Aristteles
(n. 384 a.C., f. 322 a.C.) Paul Isaac Bernays (n. 1888, f.
1977) Evert Willem Beth (n. 1908, f. 1964) Bernhard Pla-
cidus Johann Nepomuk Bolzano (n. 1781, f. 1848) Rudolf
8 CAPTULO 2. LGICA DE PRIMER ORDEN
Carnap (n. 1891, f. 1970) Lewis Carroll (Charles Lut-
widge Dodgson) (n. 1832, f. 1898) Alonzo Church (n. 1903,
f. 1995) Haskell Brooks Curry (n. 1900, f. 1982) Mar-
tin David Davis (n. 1928) Augustus De Morgan (n. 1806,
f. 1871) Friedrich Ludwig Gottlob Frege (n. 1848, f. 1925)
Gerhard Gentzen (n. 1909, f. 1945) Kurt Gdel (n. 1906,
f. 1978) Georg Wilhelm Friedrich Hegel (n. 1770, f. 1831)
Leon Albert Henkin (n. 1921, f. 2006) David Hilbert (n.
1862, f. 1943) Stanisaw Jaskowski (n. 1906, f. 1965) Do-
nald Kalish (n. 1919, f. 2000) Jan ukasiewicz (n. 1878, f.
1956) Richard Merritt Montague (n. 1930, f. 1971) Giu-
seppe Peano (n. 1858, f. 1932) Charles Sanders Peirce (n.
1839, f. 1914) Willard Van Orman Quine (n. 1908, f. 2000)
John Alan Robinson (n. 1928) John Barkley Rosser
Sr. (n. 1907, f. 1989) Bertrand Arthur William Russell (n.
1872, f. 1970) Alfred Tarski (n. 1902, f. 1983) Alan Mat-
hison Turing (n. 1912, f. 1954) Alfred North Whitehead
(n. 1861, f. 1947) . . . .
Ms nombres propios y biografas, en:
http://www-groups.dcs.st-andrews.ac.uk/~history/
http://plato.stanford.edu/
http://en.wikipedia.org/wiki/List_of_logicians
z.:j. Para saber ms
Jess Mostern (1983) Lgica de Primer Orden. Barcelona:
Ariel.
Nizkor. Accesible en: http://www.nizkor.org/features/fallacies/
Manuel Ojeda Aciego, Inmaculada Prez de Guzmn
Molina (1997) Lgica para la Computacin (vol. 2: Lgica
de Primer Orden). Mlaga: gora.
. . .
z.:q. Apndice: Lo bsico en GNU Octave
. . .