Está en la página 1de 7

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

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.))

Sin ms prembulos, les presento a :

A. Lxico de Q

a. Smbolos lgicos:

i. Signos de puntuacin: (, ),,

ii. Conectivas proposicionales:

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:
, , ,, , ,, ,, ,, ,

iv. Variables de individuo:


, , , , ,, ,, ,, ,

v. Constantes proposicionales:

b. Parmetros:

i. Smbolo de cuantificador:

ii. Smbolos de predicado:


, , ,, , ,, ,, ,, ,, ,, ,

iii. Smbolos de constante de individuo:


, , ,, , ,, ,, ,, ,

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.

Definicin: Una expresin de Q es una concatenacin (ristra, sucesin) arbitraria de smbolos


provenientes del lxico de , tales como:

((, , )) ,,))

( ,( (

pero no como:

( ( ) ).

(En lo que sigue, utilizaremos:

(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 .)

Definicin; Un cuantificador de es una expresin de de la forma ( ). A este tipo de


expresiones las denominaremos cuantificadores universales (de ).

B. Sintaxis de

a. Frmulas atmicas de :

i. Todas las variables y las constantes proposicionales de son frmulas


atmicas de .

ii. Toda expresin de de la forma ( , ,, ) es una frmula atmica


de .

iii. Nada ms es una frmula atmica de .

b. Frmulas de :

3
i. Todas las frmulas atmicas de son frmulas de .

ii. Si y son frmulas de , entonces la expresin ( ) de es una


frmula de .

iii. Si es una frmula de en la que la variable aparece por lo menos una


vez y en la que no aparece ningn cuantificador ( ), entonces la expresin
de la forma ( )( ) es una frmula de .

iv. Ninguna ristra de smbolos que no pueda ser formada por la aplicacin
reiterada de las clusulas (i)-(iii) es una frmula de .

Llegados aqu, algunos comentarios pueden ser de ayuda:

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:

( )

( , , , , )

son frmulas de , mientras que las concatenaciones de smbolos:

( ),

( , )o

( , ),

no lo son.

2. La clusula (B.b.iii) describe la manera en que frmulas provistas de cuantificadores


pueden ser construidas en . Observen que si es una expresin que carece de variables, la
expresin de la forma ( )( ) no califica como una frmula de . Esto es lo que sucede, por
ejemplo, con las expresiones ( )( ) y ( )( ( , ).3 Noten asimismo que no es
posible construir una frmula de prefijando un cuantificador ( ) a una expresin que ya

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) ( ) (( ) & ( )),

mientras que el cuantificador existencial se introduce apelando a (Def):

(Def) ( ) ~( )~.

Con estas definiciones a la mano, podemos considerar a una frmula como ( )( )(


( , )) como una abreviatura de la frmula ~( )~( )(~ ( , )), la cual a su
vez abrevia la frmula (notablemente menos legible):

((( )((( )(( ) ( , ))) )) )

del lenguaje oficial de .

Terminaremos estas notas definiendo algunas nociones sintcticas importantes.

Definicin: los conceptos de operador lgico principal de una frmula de y de sub-frmula


de una frmula de son definidos de manera recursiva como sigue:

1. Si es una frmula atmica de , entonces no contiene ningn operador lgico


principal y es la nica sub-frmula de ;

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 ;

3. Si es una frmula de de la forma ( ), ( & ) o ( ), entonces el


operador principal de es, respectivamente, las conectivas de enunciado , & y que
flanquean las frmulas y , y y son las sub-frmulas inmediatas de ;

4. Si es una frmula de de la forma ( ) o ( ) , entonces el cuantificador que


afecta a es el operador lgico principal de , y es la sub-frmula inmediata de .

5. Si es una frmula de , entonces cada sub-frmula de una sub-frmula de es una


sub-frmula de .

As pues, de acuerdo con esta definicin, la frmula ( , , , , ) de no posee


ningn operador principal ni ninguna sub-frmula (i.e. es una frmula atmica de ). Noten
que esta definicin sugiere un procedimiento de descomposicin nica de cualquier frmula
de . Ilustraremos este punto mediante el rbol de construccin de la frmula
( )( )(~ ( , )):

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.

Por consiguiente, el rango de ( ) en la frmula ( )( ( ) & ~ ( , )) es la frmula


( ( ) & ~ ( , )), y el rango de ( ) en (( )( ( ) & ~ ( , ))
( )( ( , ))) es la frmula ( ( ) & ~ ( , )). (Noten que el operador lgico
principal de la frmula (( )( ( ) & ~ ( , )) ( )( ( , ))) no es un
cuantificador, sino una implicacin material.)

Definicin: una variable se encuentra ligada en una frmula de si y slo si est bajo el
rango de un cuantificador ( ) o ( ).

Definicin: una variable se encuentra libre en una frmula de si y slo si no se


encuentra ligada en .

Dado este par de definiciones, podemos afirmar que la variable se encuentra ligada en la
frmula ( )( ( ) & ~ ( , )), cosa que no sucede con la variable .

Definicin: una frmula de es una frmula cerrada (u oracin) de si y slo si ninguna de


las variables que aparecen en se encuentra libre.

Definicin: una frmula de es una frmula abierta de si y slo no es una frmula


cerrada de .

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 .