Академический Документы
Профессиональный Документы
Культура Документы
Colegio de Filosofa
Lgica de primer orden 2016/II
Prof. Javier Garca-Salcedo
El lenguaje
1. El lenguaje
El lenguaje ser nuestro lenguaje oficial para la lgica de primer orden. Como cualquier
otro lenguaje formal, se compone de un conjunto de smbolos primitivos llamado lxico
(o vocabulario o alfabeto) y de un conjunto de reglas de formacin (que constituyen la
sintaxis o la gramtica de ) que determinan qu concatenaciones (ristras o sucesiones)
de elementos del lxico de constituyen frmulas (bien formadas) de . Es importante
que estas reglas puedan ser seguidas por alguien (o por algo (v.gr. una compu)) que no
tenga ningn conocimiento del significado que se desea asociar a las frmulas resultantes.
En general, las reglas de formacin de un sistema formal deben determinar el conjunto
de las frmulas de nicamente a partir de ciertas caractersticas estructurales
(ortogrficas o morfolgicas) de las ristras de smbolos del lxico de que las reglas
homologan como frmulas. Esto se ver con precisin cuando examinemos la sintaxis de
.
( es una extensin del lenguaje para la lgica proposicional.1 Esto significa que la
capacidad expresiva de es estrictamente superior a la de , y en particular que todas las
verdades lgicas (o tautologas) de son verdades lgicas de (mas no viceversa). (Para
establecer esto se requiere de una prueba; as que por el momento les pido lo acepten
como una cuestin de fe.))
A. Lxico de Q
a. Smbolos lgicos:
1El lenguaje P es el lenguaje para la lgica proposicional que l@s estudiantes que inscribieron Lgica 1
conmigo durante el semestre 2016-1 y yo construimos durante ese semestre.
1
iii. Variables proposicionales:
, , ,, , ,, ,, ,, ,
v. Constantes proposicionales:
b. Parmetros:
i. Smbolo de cuantificador:
Ningn smbolo primitivo que no posea una estructura conforme a ninguna de las estructuras
descritas en cada entrada de la lista anterior no forma parte del lxico de (por ejemplo, el
smbolo no hace parte del lxico de (por qu?)). Noten que el lxico de posee una
cantidad infinita de smbolos primitivos.2 Los llamados operadores lgicos de son la
conectiva y el cuanti icador . Los trminos singulares de son todas las constantes y
todas las variables de individuo. Los trminos generales, o smbolos de predicado, de , son
los nicos smbolos que poseen un sper- y un sub-ndice. El sper-ndice est constituido por
un nmero que indica la aridad o nmero de argumentos del smbolo de predicadoel
nmero de trminos singulares susceptibles de ser ligados o conectados por medio del
predicado en cuestin. Por tanto, el nmero 2 en indica que ese predicado puede ligar dos
trminos singulares, as como sucede con, por ejemplo, la locucin ser el padre de alguien
(usada para expresar en espaol una relacin entre dos animales: uno procreador y otro
procreado). Los smbolos de predicado pueden ser clasificados de acuerdo con su aridad, por
lo cual podemos distinguir entre predicados mondicos (utilizados para expresar
propiedades) y polidicos (didicos, tridicos, tetrdicos, etc., utilizados para expresar
relaciones de diferente grado de complejidad). Por su parte, los nmeros sub-indicados en los
smbolos de predicado tienen la funcin de distinguir diferentes smbolos de predicado de
idntica aridad que emplean la misma letra de predicado ( , , , ). Por consiguiente,
pese a ser de idntica aridad (3) y a emplear la misma letra de predicado ( ), y no
son el mismo smbolo de predicado (pues 1 3).
2Esto tambin es el caso en lo que atae al lxico de , que contiene, entre otros, una cantidad ilimitada
de variables proposicionales de la forma (para todo > 0).
2
Antes de formular la gramtica de conviene fijar cierta terminologa.
((, , )) ,,))
( ,( (
pero no como:
( ( ) ).
(i) el smbolo como una meta-variable cuyos valores son las variables de individuo
de ;
(ii) el smbolo como una meta-variable cuyos valores son los trminos singulares de
;
(iii) el smbolo como meta-variable cuyos valores son las letras de predicado de ;
y
(iv) los smbolos , y como meta-variables cuyos valores son las expresiones
de .)
B. Sintaxis de
a. Frmulas atmicas de :
b. Frmulas de :
3
i. Todas las frmulas atmicas de son frmulas de .
iv. Ninguna ristra de smbolos que no pueda ser formada por la aplicacin
reiterada de las clusulas (i)-(iii) es una frmula de .
1. La clusula (B.a.ii) nos dice que cualquier smbolo de predicado de aridad , seguido de una
lista de exactamente trminos singulares de , es una frmula atmica de . Una lista de
trminos singulares de es una expresin de de la forma ( , , , ). Noten que los sub-
ndices de las meta-variables , , etc., no tienen que corresponder a los sub-ndices de sus
posibles valores; nicamente indican la posicin que estos valores han de ocupar en la lista de
trminos singulares. La clusula (B.a.ii) implica que expresiones como:
( )
( , , , , )
( ),
( , )o
( , ),
no lo son.
3Esto no tiene que ser el caso. Existen lenguajes para la lgica de 1er orden en los cuales una expresin
que no obedezca esta restriccin es considerada una frmula.
4
contenga ese mismo cuantificador, ni tampoco a una que no contenga la variable . Por esta
razn, ni ( )(( )( ( , ))) ni ( )( ( , )) son frmulas de .
Con esto concluye nuestra presentacin del lenguaje (oficial de) . Por lo general omitiremos
los parntesis innecesarios que flanquean los cuantificadores, de tal suerte que, en lugar de
escribir ( )(( )( ( , ))) podremos escribir simplemente ( )( )( ( , )), o
incluso ( ( , )).
Lo nico que nos queda pendiente por ahora es extender el lenguaje gracias a la
introduccin de un cuantificador existencial () y de las usuales conectivas de enunciado.
Haremos esto por medio de definiciones que movilizan los smbolos primitivos , y 4. Las
conectivas ~, , & y son introducidas en nuestro lenguaje por medio de las siguientes
estipulaciones:
(Def~) ~ ( )
(Def) ( ) (~ )
(Def&) ( & ) ~( ~ )
(Def) ( ) (( ) & ( )),
(Def) ( ) ~( )~.
4Su introduccin sirve el propsito de abreviar expresiones que, de otro modo, seran poco legibles; no
obstante, su inclusin no afecta las capacidades expresivas de .
5
2. Si es una frmula de de la forma ~ , entonces el operador lgico principal de
es la conectiva proposicional ~ que afecta a , y es la sub-frmula inmediata de ;
1. ( )( )(~ ( , ))
Operador principal: ( )
2. ( )(~ ( , ))
Operador principal: ( )
3. (~ ( , ))
Operador principal: Operador principal:
4. ~ 4. ( , )
Operador principal: ~
5.
Ledo de abajo hacia arriba, este rbol despliega todos los pasos que se tienen que dar para
construir la frmula ( )( )(~ ( , )) partiendo de las frmulas atmicas y
( , ). Cada lnea continua representa la introduccin de alguna conectiva proposicional,
y cada lnea punteada la de algn cuantificador. Observen que, de acuerdo con la clusula 5 de
la definicin anterior, todas las frmulas que se consignan en un rengln > 1 es una sub-
frmula (no necesariamente inmediata) de la frmula que se incluye en el rengln 1.
6
Definicin: el rango de un cuantificador ( ) (o ( )) en una frmula de es la sub-
frmula de para la cual ( ) (o ( )) es el operador lgico principal.
Definicin: una variable se encuentra ligada en una frmula de si y slo si est bajo el
rango de un cuantificador ( ) o ( ).
Dado este par de definiciones, podemos afirmar que la variable se encuentra ligada en la
frmula ( )( ( ) & ~ ( , )), cosa que no sucede con la variable .
Estas ltimas definiciones implican que ( )(( )( ( , , ))) es una frmula abierta
de , mientras que ( )( )( ( , ) & ~ ( )) es una frmula cerrada de . Observen
que, trivialmente, todas las frmulas atmicas de que no contienen variables son oraciones
de .