UNIVERSIDAD SANTIAGO

ANTUNEZ DE MAYOLO

FACULTAD DE CIENCIAS

Tema: Lógica de Primer Orden

Curso:
Pensamiento lógico Matemático
Docente:
Msc. Giovanna Coral Suarez

Escuela Profesional:
Ing. De Sistemas e Informática
 LOGICA DE PRIMER ORDEN

¿Qué es la lógica de primer orden?

La l ó g i c a d e p r i me r o r d e n , también llamada lógica de predicados

o cálculo de predicados, e s u n sistema formal diseñado para estudiar la
inferencia en los lenguajes de primer orden. Los lenguajes de primer orden
son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a
variables de individuo, y con predicados y funciones cuyos argumentos son
sólo constantes o variables de individuo.

Los conceptos de la Lógica de Primer Orden son :

 Predicados
 Constantes de Individuos
 Variables de Individuos
 Cuantificadores
 Conectivos
 Argumentos

PREDICADOS

Un predicado es una expresión lingüística que puede conectarse con una o

varias otras expresiones para formar una oración. Por ejemplo, en
la oración «Marte es un planeta», la expresión «es un planeta» es un
predicado que se conecta con la expresión «Marte» para formar una
oración. Cuando un predicado se c o n e c t a c o n u n a e x p r e s ió n , s e
dice que expresa una propiedad, y cuando se conecta con
d o s o má s expresiones, se dice que expresa una relación.

En la lógica de primer orden, los predicados son tratados como funciones.

Una función es un proceso que recibe un conjunto de cosas, las procesa, y
devuelve como resultado una única cosa. A las cosas que entran a las
funciones se las llama argumentos, y a las cosas que salen, valores
o imágenes. Considérese por ejemplo la siguiente función matemática:
f ( x ) = 2 x Esta función toma números como argumentos y devuelve
más números como valores. Si toma el número 1,devuelve el número 2,y si
toma el 5,devuelve el 10.
En la lógica de primer orden, se propone tratar a los predicados como
funciones que no sólo toman números como argumentos, sino expresiones
como «Marte», etc. De este modo, la oración «Marte es un planeta»
puede transcribirse, siguiendo la notación propia de las funciones:
Planeta(Marte) O P(m)

En la matemática existen además funciones que toman varios argumentos.

Por ejemplo: f(x,y) = x + y Esta función, si toma los números 1 y 2,
devuelve el número 3, y si toma el -5 y el -3, devuelve el -8. Siguiendo esta
idea, la lógica de primer orden trata a los predicados que expresan
relaciones, como funciones que toman dos o más argumentos.
Por ejemplo,la oración «Caín mató a Abel» puede formalizarse así:Mató(C
aín,Abel) o M(c,a). Este procedimiento puede extenderse para tratar con
predicados que expresan relaciones entre muchas entidades. Por ejemplo, la
oración «Ana está sentada entre Bruno y Carlos» puede formalizarse:
S(a,b,c)

CONSTANTES DE INDIVIDUOS

Una constante de individuo es una expresión lingüística que refiere a una

entidad. Por ejemplo «Marte», «Júpiter», «Caín» y «Abel» son constantes
de individuo. También lo son las expresiones «1», «2», etc., que refieren a
números.

Una entidad no tiene que existir para que se pueda hablar acerca de ella, de
modo que la lógica de primer orden tampoco hace supuestos acerca de la
existencia o no de las entidades a las que refieren sus constantes de
individuo

VARIABLES DE INDIVIDUOS

Además de las constantes de individuo que hacen referencia

a entidades determinadas, la lógica de primer orden cuenta con otras
expresiones, las variables, cuya referencia no está determinada. Su función
es similar al de las expresiones del lenguaje natural como
«él»,«ella»,«esto»,«eso» y «aquello»,cuyo referente varía con el
contexto. Las variables generalmente se representan con letras minúsculas
cerca del final del alfabeto latino, principalmente la x,y,z.
Del mismo modo, en la matemática, la x en la función f(x) = 2x no
representa ningún número en particular, sino que es algo así como un
espacio vacío donde pueden insertarse distintos números. En
conclusión, podemos representar una expresión como «esto es antiguo»
con la expresión: Antiguo(x) o A(x).
Es evidente, sin embargo, que hasta que no se determine a qué
refiere la x,no es posible asignar un valor de verdad a la expresión
«esto es antiguo», del mismo modo que hasta que no se determine un
número para la x en la función f(x) = 2x, no será posible calcular ningún
valor para la función.
Por supuesto, al igual que con las constantes de individuo,
l a s v a r i a b l e s s i r v e n t a mb i é n p a r a f o r ma l i z a r relaciones. Por
ejemplo, la oración «esto es más grande que aquello» se formaliza:
G(x,y)
Y también pueden combinarse constantes de individuo con
variables. Por ejemplo en la oración «ella está sentada entre Bruno y
Carlos»: S(x,b,c)

CUANTIFICADORES

Considérese ahora la siguiente expresión matemática: x < 3. Esta expresión

no es ni verdadera ni falsa, y parece que no lo será hasta que
no reemplacemos a la x por algún número cualquiera. Sin embargo,
también es posible dar un valor de verdad a la expresión si se le antepone
un cuantificador. Un cuantificador es una expresión que afirma que una
condición se cumple para un cierto número de individuos. En la lógica
clásica, los dos cuantificadores más estudiados son el cuantificador
universal y el cuantificador existencial. El primero afirma que una
condición se cumple para todos los individuos de los que se está hablando,
y el segundo que se cumple para al menos uno de los individuos. Por
ejemplo, la expresión "para todo x" es un cuantificador universal, que
antepuesto a "x < 3", produce: Para todo x, x < 3. Esta es una expresión con
valor de verdad que resulta una expresión falsa, pues existen muchos
números (muchos x) que son mayores que tres. Anteponiendo en cambio la
expresión "para al menos un x", un cuantificador existencial, se obtiene:
para al menos un x, x < 3. La cual resulta ser una expresión verdadera. Sin
embargo, el valor de verdad de las dos expresiones anteriores depende de
qué números se esté hablando. En lógica, a aquello de lo que se está
hablando cuando se usa algún cuantificador, se lo llama el dominio de
discurso.

Tómese por caso la afirmación "todos son amigables”.

Esta oración puede traducirse así: Para todo x,x es amigable.
Y una oración como "alguien está mintiendo" puede traducirse: Para al
menos un x, x está mintiendo.
También es frecuente traducir esta última oración así: Existe al menos un
x,tal que x está mintiendo.

CONECTIVOS
La lógica de primer orden incorpora además las conectivas de la lógica
proposicional. Combinando las conectivas con los predicados, constantes,
variables y cuantificadores

Conectivas Logicas

ARGUMENTOS
Considérese el siguiente argumento clásico:

-Todos los hombres son mortales.

- Sócrates es un hombre.
- Por lo tanto, Sócrates es mortal.

La tarea de la lógica de primer orden consiste en determinar por qué los

argumentos como éste resultan válidos. Para eso, el primer paso es
traducirlos a un lenguaje más preciso, que pueda ser analizado mediante
métodos formales.
SISTEMA FORMAL
Un sistema formal o un sistema axiomático es un artificio matemático
compuesto de símbolos que se unen entre sí formando cadenas que a su vez
pueden ser manipuladas según reglas para producir otras cadenas. De esta
manera, el sistema formal es capaz de representar cierto aspecto de la
realidad. El objetivo de un sistema formal es señalar como válidas
determinadas cadenas. Estas cadenas válidas se denominan teoremas.
Para obtener los teoremas se emplean las reglas de producción
que convierten una cadena en otra. Hay ciertos teoremas iniciales que no
se obtienen de ninguna regla, éstos son los axiomas que se suponen válidos
por definición y se convierten en el germen de producción de teoremas.

Un sistema formal matemático consiste en lo siguiente:

 Un conjunto finito de símbolos que pueden ser usados para la

construcción de fórmulas, llamado el alfabeto o vocabulario.
 Una gramática formal o mecanismo para la construcción de fórmulas
bien formadas. También debe proporcionarse un algoritmo de
decisión para conocer si una determinada fórmula es bien formada
o no.
 Un conjunto de axiomas que deben ser fórmulas bien formadas.
 Un conjunto de reglas de inferencia.
 Un conjunto de teoremas. Este conjunto incluye todos los axiomas,
más todas las fórmulas bien formadas que pueden ser derivadas de
los axiomas o de otros teoremas por medio de las reglas de
inferencia. La gramática no necesariamente garantiza la decidibilidad
de si una fórmula es teorema o no.

PROPIEDAD DE UN SISTEMA FORMAL

Las propiedades de un Sistema Formal son:

 Coherencia: El sistema formal es coherente si cada teorema al ser

interpretado no corresponde a una decisión verdadera.

 Completitud:El sistema formal es completo si cada proposición verd

adera puede ser representadamediante un teorema. Es incompleto si
alguna verdad no puede expresarse.

 Decidibilidad: Un sistema formal es decidible si existe un algoritmo

que diga en tiempo finito si una cadena cualquiera es un teorema o
no lo es.
SISTEMA AXIOMATICO DE PEANO

El sistema de Peano es un sistema de postulados a partir del cual puede

deducirse toda la aritmética de los números naturales. Los primitivos de
este sistema son los términos "0" (cero), "número" y "sucesor", de los
cuales, por ser primitivos no se da definición alguna. Sin embargo, se
entiende por "0" dicho número, el término "número" designa a los
números naturales 0,1,2,3,...exclusivamente, y con "sucesor" de un número
natural N se refiere al número natural inmediato siguiente de N en el orden
natural.

El Sistema de Peano contiene los 5 postulados que siguen:

P1 0 es un número.
P2 El sucesor de un número es siempre un número.
P3 Dos números nunca tienen el mismo sucesor.
P4 0 no es el sucesor de número alguno.
P5 Si P es una propiedad tal que (a) cero tiene la propiedad P, y (b)
siempre que un número N tenga la propiedad P el sucesor de N
también tendrá la propiedad P, entonces todos los números tendrán la
propiedad P.

ALFABETO DE LA LOGICA DE PRIMER ORDEN

El alfabeto L de la lógica de primer orden es un conjunto que contiene los

siguientes tipos de símbolos:
Símbolos de predicados o de relaciones n-arias: Son símbolos que
corresponden a funciones (reciben argumentos) que 'predican' algo acerca
de referentes. Corresponden a afirmaciones. Ej: C(x) abrevia 'x es calvo' ,y
es una función unaria (recibe sólo una entrada);
D(y,z) abrevia 'y le debe dinero a z' y es una función binaria; H (a,b,d)
abrevia 'a y b se casaron en el lugar c' y es trinaría. En general, la relación
R(X1, X2, ..., Xk)es una relación k-aria. Aquí, D,R y H se llaman símbolos
de relación y estos símbolos son los elementos de L, no las funciones.

Símbolos de Función n-aria: Son símbolos que corresponden a funciones

que denotan cosas únicas, en función de sus argumentos. Note que difieren
de los predicados ya que no simbolizan fórmulas, sino términos ('cosas').
Ej:
P(w) abrevia 'el padre de w' ; D(v) abrevia 'la edad de v'. Note que H(x) (el
hijo de x)no es función, ya que no precisa necesariamente un único objeto
determinado, sino que es ambiguo.

 Variables: x,y,z,w,x1,x2,...(principalmente).Se refieren a objetos

indeterminados.
 Constantes : a,b,c,a1,a2,a3,...Se refieren a objetos determinados,
particulares (p.ej.,n denota a Nicolás).
 Cuantificadores: (existe),(para todo).
 Conectivos lógicos :(No),(o),(y),(implica),(equivale/si y solo si).
 Igualdad, comas y paréntesis : = , ,,( ,).

GRAMATICA

Una vez definido el alfabeto, el siguiente paso es determinar qué

combinaciones de símbolos pertenecen al lenguaje del sistema. Esto se
logra mediante una gramática formal. La misma consiste en un conjunto de
reglas que definen recursivamente las cadenas de caracteres que pertenecen
al lenguaje. A las cadenas de caracteres construidas según estas reglas se
las llama fórmulas bien formadas.

REGLA DE INFERENCIA

Una regla de inferencia es una función que va de conjuntos de fórmulas a

fórmulas. Al conjunto de fórmulas que la función toma como argumento se
lo llama premisas, mientras que a la fórmula que devuelve como valor se la
llama conclusión. En general se busca que las reglas de inferencia
transmitan la verdad de las premisas a la conclusión. Es decir, que sea
imposible que las premisas sean verdaderas y la conclusión falsa. En el
caso de L,la única regla de inferencia es el modus ponens, el cual dice:

Si A, entonces B
A Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podría
ser:

Si está soleado, entonces es de día.

Está soleado.
Por lo tanto, es de día.

Otro ejemplo sería

Si Javier tiene rabia, es una nube.

Javier tiene rabia.
Por lo tanto, Javier es una nube.

Otra manera de presentar el modus ponens con el condicional es:

DEMOSTRACIÓN

AXIOMAS

Los axiomas lógicos son parte del cálculo de predicados. Al formalizar

teorías de primer orden particulares(aritmética de Peano) se agregan
axiomas no-lógicos específicos, es decir axiomas que no se consideran
verdades de la lógica pero sí verdades de una teoría particular. Cuando el
conjunto de axiomas es infinito, se requiere de un algoritmo que pueda
decidir para una fórmula bien formada si es un axioma o no. Más aún,
debería existir un algoritmo que pueda decidir si la aplicación de una regla
de inferencia es correcta o no.
El cálculo de predicados puede ser axiomatizado de varias formas
diferentes. No existe estándar sobre los axiomas y reglas de inferencia
dadas, pero cualquier formalización produce los mismos teoremas de la
lógica.

SEMANTICA

Una interpretación es un par <D,I>,donde D es un conjunto no vacío

llamado el dominio de discurso es una función llamada la función de
interpretación definida como sigue:

- Si a es un nombre, entonces le asigna un elemento del dominio.

- Si f es un factor de aridad n, entonces le asigna una función de n

argumentos que toma elementos del dominio y devuelve elementos del
dominio.

- Si P es un predicado de aridad n, entonces I le asigna un conjunto de n-

tuplas construidas a partir del dominio
MODELOS DE LOGICA DEL PRIMER ORDEN

El dominio de un modelo es el conjunto de objetos que contiene; a estos

objetos a veces se les denomina elementos del dominio.