3.

1.

Lgica de primer orden:

sintaxis y semntica

Introduccin

Comenzamos en este captulo el estudio de la lgica de primer orden. Vamos a adoptar la mismaistrategia que en nuestra presentacin de la lgica

proposicional en el captulo 2: emplear lenguajes formales para reproducir

ia eit.uctura de las proposiciones de primer orden. Al igual que en la lgica
proposicional, podemos clasificar las caractersticas que nos interesan de la
estructura de las proposiciones de primer orden como sintcticas y semnticas. Las propieddei sintcticas tienen que ver con los patrones de acuerdo
con los cuales propiedades, relaciones e individuos figuran en las proposiciones de primr orden. Nos referiremos a estos patrones como los patrones sintitciicos de las proposiciones de primer orden. Las propiedades semnticas tienen qu. ur con la manera en que el valor de verdad de una
proposicin de piimer orden viene determinado por qu individuos ejempnfi.un las propiedades y relaciones que figuran en e1la. los vamos a refeiir a esta conexin entre el valor de verdad de una proposicin de primer
orden y la ejemplificacin de las propiedades y relaciones que figuran en
ella como sipoir, semntic:o. Para estudiar las propiedades sintcticas de
las proposicines de primer orden vamos a definir lenguajes formales cuyas-orciones reproducirn los patrones sintcticos de dichas proposiciones. Para estudiar las propiedades semnticas de las proposiciones de primer orden valnos a reproducir sus patrones semnticos en los lenguajes
formales que vamos a efinir' Los lenguajes formales que vamos u tttL:11.,,,,,,,,,,r,,,,,iiiir,r,rr:,rrir!:rrr.,,r,,!:

97

1.2

Composicin

""
-*-:".:.*;::,:;
veritativo-funcionaI

. ;j:l,;r-:r:;

A partir de las proposiciones de primer orden que podemos construir

con

prpiedades, relacines e individuos podemos generar otras proposiciones

estudiado
de primer orden con los dispositivos de composicin que hemos
de que la
proposicin
la
de
en el capt rlo 2. As, por ejemplo, la negacin

Tierra ei ms grande que Venus es la proposicin de qu9 la Tierra no es

ms grande qr v"rr., que es verdadera precisamente si la Tierra no est
conjunconectada con Venus poilu relacin ...es ms grande que"' Y la
de la
negacin
la
planetay
un
es
Tierra
que
la
cin de la proposicin de
de
proposicin
la
es
que
Venus
proposicin de que 1a Tierr es ms grande
verdaque
es
que
Venus,
qr. lu Tierra es un planeta que no es ms grande
un planeta y no est
ser
de
propiedad
la
tiene
Ti"r*
lu
,i
precisamente
dera
.orr."tadu con Venus por la relacin .. .es ms grande que " '
Para reproducir los patrones sintcticos de estas proposiciones., el voca-,
bulario de un lenguaje de primer orden utilizar las conectivas de1 lenguaje
Lp del captulo Z. Asi, poi ejemplo, la oracin -Ra reproducir el patrn
y
sintctico de la proposiCiOn d. que la Tierra no es ms grande que Venus,
la oracin (Pa r,, -Rab reproducir. el patrn sintctico de la proposicin de
que la Tierra es un planeta que no es ms grande que Venus'

1.3

Funciones

como vimos en el captulo 1, el papel de una funcin en una proposicin

es e1 pade primer orden pued consistir en seleccionar un individuo. Este
que la
de
proposicin
pet, por ejemplo, de la funcit't la maclre de"' en la
madie deia princesa Estefana era americana. Esta proposicin es verdadera precisamante si un cierto individuo tiene la propiedad de ser americano,
y este individuo viene seleccionado como la imagen de la princesa Estefana bajo la funcin la madre de..
Paia reproducir los patrones sintcticos de las proposiciones en que se
-

contenselecciona-n individuos de esta manera, un lenguaje de primer orden

dr una categora de smbolos conocidos como smbolos funcionales. Los

smbolos furrcionales se clasifican de acuerdo con el nmero de argumentos que les corresponde, del mismo modo que las funciones. En los ejemplo, de esta seccin,.f'y g sern smbolos funcionales de un argumento,y h
un smbolo funcionaide dos argumentos. Un smbolo funcional de un argumento puede figurar en una oracin seguido de una constante individual
putttt"tis. As, por ejemplo , J@) aparecer en oraciones que
",
"n....udu
reproduzcan los patrones sintcticos de proposiciones en las que un individuo viene seleccionado como la imagen de un individuo bajo una funcin
de un argumento. Nos referiremos a las tuplas de smbolos de esta fbrma
coms trminos t'ilncionales.

t--

cirelpapeldelarelacindeidentidadenproposiciones{1nlmerorden.El
,,'.
trmino
un +rrino

:il;"!;t;;#iffi

o
aparecer con una con;tante individual

reproducir el
a
funcional a cada t^o. i.i, por ejemplo, la oracin = J(b)
dL que Grace Kelly era la madre de la
;;;;" sintctico de ta p'oposicin de
esta forma figurarn en compuestos
irlr-,..ru Estefana. Las oraciones
que oraciones construidas con
veritativo_funcionales de la misma manera
(pa r' cr = J(b)) reprodupredicados no.mul.s. ri,po, ejemplo, ra oricin
ill.i p""on sintctico a iu prporicin de que Grace Kelly era americana
y era l madre de la princesa Estefana'

1.5

Cuantificacin

Cuandounindividuofiguraenunaproposicindeprimerorden'podemos
si dicho individuo satisdecir que la proposiciJn-.. u..Oudera precisamente
podemos decir que la proposiface una cierta condi.iin. Ati, por ejmplo'
ms grande que Venus es vercin ile que la Tierra es un planita que no.es
1a condicin .. .es un planetu que
dadera precisamente si la Tierra satisface
como
,o u, n)ri, grancle qtte ventrs. podemos considerar estas condiciones
unl
con
proposicin
Tllri.z
<<matrices proposicionales' Formamos una
el indiviinsertamos
Si
indiviuo.
un
,,insertamos
proposicional cuand
duoJpiterenlamatriz...esunplanetaqLtenoesmsgrandeqtteVentts,
grande
ms

planeta que no-es

formamos la proposicin de que iprt.. es un
o falsa dependiendo de
verdidera
que Venus. La propo.iciOn reiultante ser
si ei individuo satisface la mafrz'
partir de una matrtz.proposlcloPoseemos un dispositivo para generar, a
si.todo individuo
nal dada, ,ru propori;" q;t es"verdaderaprecisamente

satisface|amafriz.EstedispositivoseConocecomoCuantiJicucinuniver.
ia matriz ...es Ltn planeta qLrc no es ms grande
sa1.
"qrr" Cuando 1o aplicamos a
son planetas que no
Vnnur,g.n.* la proposicin de que todas las cosas
similar' conocid-o,,1o^?::?:,':
son ms grandes qrr.V,"' Un dispositivo
permite formar a partir de una rnatrrz proposlcl:
.fcacn-existenciil,.nos
precisamente si.al menos un lnnal dada una proposlcin que es verdadera
un planeta qlte no es
dividuo satisface la matriz' A partir de la matriz " 'es
menos una cosa es
que
al
de
ms grande qtte Ventts, genera la proposicin
un plneta que no es ms grande que Venus'
universal y la cuanA menudo resulta til iuponerlLre la cuantificacin
a un mbito restificacin existencial io.-un propbsiciones con respecto
verdad de las proposiciotringido de individuos. En este caio los valores de
con
n.r"qr" generan dependern del mbito elegido' As' por ejemplo'

respectoalmbitoconstituidoporlos"u",po'celestesdelsistemasolarla
ms grandes
de que todas las cosas son planetas que no son
proposicin

que Venus es f-alsa,

p"-

il -":":
mbito
respecto al ::li::
con 11i-1"^:::
"idud"a

fu proposicin d que

ffio]ffi;fri;;;il;;';v;"' "

2.

Sintaxis

Nuestro objetivo en esta seccin es definir los lenguajes formales que vamos a emplear para reproducir los patrones sintcticos y semnticos de las
proposiciones de primer orden. Cuando presentamos 1a lgica proposicional en el captulo 2, usamos un nico lenguaje, LP,para reproducir las propredades sintcticas y semnticas de los dispositivos de composicin. Despus, consideramos otros lenguajes que resultaron ser o bien claramente
insuficientes para nuestros fines o prcticamente intercambiables con lP.
En la lgica de primer orden, en cambio, vamos a urllizar una familia de
lenguajes que nos permitirn reproducir los patrones sintcticos y semnticos de distintas colecciones de proposiciones de primer orden.
Los lenguajes de primer orden slo diferirn unos de otros en sus vocabularios. Vamos a clasificar los smbolos de un lenguaje de primer orden
como lgicos o extralgicros. Todos los lenguajes de primer orden que vamos a considerar tendrn el mismo vocabulario lgico, consistente en las
conectivas de LP, -, A, V y -+, los cuantificadores, V y 3, el smbolo de
identidacl =. dos parntesis. ( y ). una corna...y un repertorio infinito de
variables distintas. Nos vamos a referir a las conectivas, 1os cuantificadores
y el smboio de identidad como operadores lgicos. Los lenguajes de primer orden slo diferirn unos de otros en su vocabulario extralgico. El vocabulario extralgico de un lenguaje de primer orden podt contener constantes individuales, predicados y smbolos funcionales, con los predicados
y smbolos funcionales clasificados de acuerdo con el nmero de argumentos que les corresponde.

Vamos a asumir que los smbolos de un lenguaje de primer orden son

distintos unos de otros, as como de cualquier tupla de ms de un smbolo
del lenguaje. No asumiremos nada ms sobre su identidad. Ntese que se
sigue de esto que las nicas diferencias entre vocabularios extralgicos que
contemplaremos concernirn al nmero de smbolos de cada tipo, a saber,
e1 nmero de constantes individuales, predicados nrondicos, smbolos funcionales de un argumento, predicados didicos, etc. A todos los efectos,
hay un solo vocabulario extralgico que contenga, por ejemplo, dos constantes individuales, un predicado didico, dos smbolos funcionales de un
argllmento y nada ms.
Dado que los lenguajes de primer orden slo diferirn unos de otros en
sus vocabularios extralgicos, para cada repertorio de constantes individuales, predicados y smbolos funcionales habr un nico lenguaje de primer
orden con estos smbolos como vocabulario extralgico. ,A1 igual que en
cualquier otro lenguaje formal, las oraciones de un lenguaje de primer orden sern tuplas con smbolos del lenguaje como miembros. Para definir un
lengr-raje de primer orden tenemos que especificar qu tuplas de smbolos
del lenguaje vamos a contar como oraciones. Vamos a usar para este fin el
mtodo de definicin por induccin, pero, en vez de definir directamente el

I7

sula inductiya para cada cuantificador. Queremos que estas clusulas empleen funciones de concatenacin. As como la clusula correspondiente a
- emplear la funcin que emparej a cada tupla de smbolos Q con la concatenacin de - y Q, nos gustara que la clusula correspondiente a V empleara la funcin que empareja cada tupla de smbolos Q y cada variable x con
la concatenacin de V, x y Q. Una clusula inductiva que empleara esta funcin podra formularse del siguiente modo:
Para toda oracin Q del lenguaje

y toda variable x, Vr

Q es

una ora-

cin del lenguaje.

El problema con esta clusula es que una tupla de Ia forma Vx Q slo sera una oracin del lenguaje gracias a ella si Q fuera una oracin del lenguaje. As, por eiemplo, Vr Px slo sera una oracin del lenguaje si Px lo fuera. Pero no queremos que Px sea una oracin. Queremos usar las oraciones
de un lenguaje de primer orden para reproducir los patrones sintcticos de
las proposiciones de primer orden, y no pretendemos usar Px de este modo.
Las variables son meros recursos auxiliares que funcionan en conjuncin
con los cuantificadores. Queremos que Pa y Yx Px, pero no Pr, sean oraciones de un lenguaje de primer orden (en el que a sea una constante individual y P un predicado mondico).
La manera ms simple de conseguir esto es definir la nocin intermedia
de Jrmula del lenguaje. Las frmulas de un lenguaje de primer orden sern
tuplas de smbolos del lenguaje entre las cuales se encuentran todas las oraciones, pero tambin las tuplas como P-r que no queremos contar como oraciones, pero que generan oraciones cuando las concatenamos con Lln cuantificador y una variable. Una vez que hayamos definido el conjunto de
frmulas del lenguaje definiremos el conjunto de oraciones especificando
cules de las frmulas vamos a contar como oraciones.
A la luz de estas consideraciones, definir un lenguaje de primer orden
ser un proceso con tres fases. En primer lugar, definiremos el conjunto de
trminos del lenguaje. En segundo lugar, definiremos el conjunto de frmulas del lenguaje. Y por ltimo, definiremos el conjunto de oraciones del
lenguaje. Ntese que, en sentido estricto, nuestro objetivo no es proporcionar una definicin de un lenguaje, sino un esquema que generar rna definicin de un lenguaje para cada conjunto de smbolos extralgicos. Sea tr'
un oonjunto c1e smbolos extralgicos. l{uestro objetivo es definir el lenguaje de primer orden I con tr/como vocabulario extralgico. En primer lugar definimos por induccin el conjunto de trminos de L.

l.

Base:
i. Toda constante individual de Zes un trmino de
ii. Toda variable es un trmino de Z.

I.

E.lEncrcro

3.3:

trmino
pruebe que cada una de las siguientes tuplas es un

de L:

(1) f(a)
(2) s@,JU))
(3) Jko,lk)
obtener aplicando la c1usula in-

Suserettcia: Muestre cmo se pueden

riit"" . la definicin a los trminos en la base'

3'4:

E:Enctcto
la de I:

(l)
(2)
(3)

tuplas es una frmuPruebe que cada una de las siguientes

Vx (Pr -+ Rax)
(Vx P.r --> Rax)
1Y (Y = a nYx RxJU))

Sugereicia: Muestre cmo

;;:ti*.

l)

in-

en la base'
de la definicin a las frmulas

Eanctcto
(

las clusulas
se pueden obtener aplicando

3.5:

no son trminos de l:
Muestre que las siguientes tuplas

ltu- x\

(2) g(c,fl
(3) s(fk))

inpueden obtener aplicando la clusula

Sugerencia: Muestre que no.se
ffi*. de la definicin los trminos en la base'
E:Bnctcto

3.6:

no son frmulas de Z:
Muestre que las siguientes tuplas

(1) Vxl(x)
(2) 1yP=Y
(3) (Ra-b v Pz)
Sugerencia:Muestrequenosepuedenobteneraplicandolasclusulasinbase'
riil"u. de la definicin a las frmulas en 1a

Haberdefinidoporinduccinelconjuntodetrminosyelconjuntode
permitir usar el mtodo

ord nos va a
frmulas a. o,, r"n"gi'u"-t p'i*t'
inductivodepruebaparaestablecerquetodoslostrminosotodaslasformulastienenunaciertapropiedad.Lossiguiente-sejerciciosrequierenapli.
de trminos
di nr*eba
caciones ..n.ittu, -ti'iei" inductivo
11-^:^oJ"*o
de un lenguaje de primer orden'
v J"r:"*o de frmulas

EmRctcto 3.12 (Teorenta de la legibilidutl wtvrca cle los trmino,s)'. Muestre que para todo trmino I de un lenguaje de primer orden I, se cumple a

lo sumo una de las siguientes condiciones:

(l)
(2)
(3)

/esunavariable.
1 es una constante individual.
es de la formal(11,..., t,,) para algn smbolo funcional de n elementos./'y trminos t,,..., t,, de L.

Adems, (3) se cumple para a lo sumo una tupla \t,,...,1,,) de trminos.

Sugerencia: Proceda con'lo con las oraciones de IP en el captulo 2. lnvoque el ejercicio 3.7 y el ejercicio 3.8.

E:ERcIclcr 3.13 (Teorenta de lu legibiliclacl ttnvoc'u cle lcts .frmtrlcts'):

Muestre que para toda frmula Q de un lenguaje de primer orden I se cumple a lo sumo una de las condiciones siguientes:

(1)
(2)
(3)
@)

(s)
(6)
(.7)

(8)

Q es de 1a forma Pt....t,,, para algn predicado z-dico P y trminos llr. .., t, de L.

Q es de 1a forma t = u, para trminos t y u de L.
para
formulas u y B de I.
Q es de la forma (cr
" F) para algunas
algunas frmulas o y B de L
Q es de la forma (cr
0)
"
Q es de la forma (cx -+ F) para algunas frmulas u y B de I.
Q es de la forma -cx, para alguna frmula a de L.
Q es de la forma Vx cr para alguna frmula cr de Z y alguna variable x.
Q es de la forma 3x u para alguna frmula a. de L y alguna variable x.

Adems, (1) se cumple para Q con a 1o sumo una tupla \t,,..., t,) detr:
minos de L, (2) se cumple para Q con a 1o sumo dos trminos t y u de L,
cada una de las condiciones (3)-(5) se cumple para Q con a lo sumo dos frmutras cx y B de L, y cada una de las condiciones (6)-(8) se cumple para Q
con a lo sumo una frmula cr de

l.

Sugerencia: Proceda como con ZP. Use el ejercicio 3.12, el ejercicio 3.9
y el ejercicio 3.1 1.
Cuando una de las condiciones (2)-(8) se cumpla para una frmula Q, diremos que el operador lgico que aparece en el esquema correspondiente es
el operador lgico principal de Q. Nos referiremos a las frmulas de la formaPt,...t,o t = u coltTofrmulus atmicas. Ntese que, estrictamente, para
mostrar que una definicin recursiva sobre 1as frmulas de un lenguaje de

(5)
(6)
(7)

libre en (Q v V)
Para toda frmula de de la forma (0 v V)' r est
si y slo si x est libre en Q o en rY'
libre en (Q ->
Paia toda frmula de de la forma (Q -+ V)' x est

V) si Y slo si x est libre en Q o en Y'

(B)

pra ioda frmula de I de la forma Vl 0, est libre en Vy Q si y

'
slo si x est libre en Q Y r +Y'
en ly Q si y
Para toda frmula de L de la forma !-y Q' ' est libre
slo si x est libre en Q Y x *Y'

que todas las variaNtese que se sigue de la definicin de variable libre

en la misma, y que
bles que apafecen en una frmula atmica estn libres
sin cuantificadores' una
1o mismo se cumple para cualquier otra formula
libre en ella si la
variable que aparece . oru fimula s1o puede no estar
no en vn Px'
pero
Px,
en
libre
frmula contiene cuantificadores. As, x est
que el
embargo,
sin
y z est libre en b = z,pero no er 1z b = z. Ntese,
en Vy
libre
est

cuantificador tiene que'ii seguido de la variable correcta.

px. Ntese tambin (u. ,rru-ruriable r puede estar libre en una frmula que
por ejemplo' las frmucontenga un cuantificador seguido de x' Tomemos,

lasVxPxyRxa.xnoestlib"reenlaprimera,peros1oestenlasegunda.
libre, x est libre
Entonces, por la clusula (a) de la definicin de variable
Sin
en (Vx Px- n Rxa). puest; que est libre en uno de sus componentes'
embargo,

,x

no est libre en Vx (Px n R'ra)'

cadauna de las frErEncrcro 3.14: lndique qu variables estn libres en

mulas siguientes:

(i) (V,rPr -+ Qr)

(2) (V-r P1' -+ Qx)
(3)
(4)
(5)

Vr (Py ->

Qx)

(VxV.v Plt - > Qx)

V-r

(V

P1'

-> Qx)

por fin en dispoGracias a la nocin de variable libre, nos encontramos

de primer orden'
lenguaje
un
de
sicin de definir el conjunto de oraciones
un lenguaje de prin-rer orden
variables libres'
tiene
no
si
precisamente
Q

DEnlcrN: Una frmula

cin de

Q de

es Llna o/zr-

predicado
Ntese que la definicin tiene e1 efecto deseado. Si P es un
frmr-iuna
es
que
Px
mondico dL , Vx P-x es una oracin de I, mientras

lu,p.ronoLlnaoracindeI.Ntese,noobstante,queelconjuntodeorautilidad como v-r Pa o

cio,.res contiene tuplas que no parecen tener ninguna

!y Rya (suponiendoque p, Ay / sean smbolos de I del tipo correcto)'

e*Uu, rplu.-ro, frmulas de I, y ninguna de las dos tiene variables li-

V.r,

77Xt':

"'''""'t:t:t"'' "'''