Documente Academic
Documente Profesional
Documente Cultură
1.
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
97
1.2
Composicin
""
-*-:".:.*;::,:;
veritativo-funcionaI
. ;j:l,;r-:r:;
con
1.3
Funciones
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
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
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.
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-
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-
3'4:
E:Enctcto
la de I:
(l)
(2)
(3)
Vx (Pr -+ Rax)
(Vx P.r --> Rax)
1Y (Y = a nYx RxJU))
;;: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))
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
(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.
Sugerencia: Proceda con'lo con las oraciones de IP en el captulo 2. lnvoque el ejercicio 3.7 y el ejercicio 3.8.
(1)
(2)
(3)
@)
(s)
(6)
(.7)
(8)
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
(B)
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
Vr (Py ->
Qx)
(V
P1'
-> Qx)
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
V.r,
77Xt':
"'''""'t:t:t"'' "'''