Lgica de primer orden (I)

Lorenzo Mandow, Ezequiel Lpez-Rubio y Enrique Domnguez

Depto. de Lenguajes y Ciencias de la Computacin
Universidad de Mlaga

Contenidos

6.1 Motivacin
6.2 Sintaxis
6.3 Semntica

1. Motivacin

La lgica proposicional no es concisa cuando hay

muchos objetos.
Tampoco permite ciertos razonamientos. Por
ejemplo:
Todos los hombres son mortales
Scrates es hombre
Scrates es mortal

Thm
Sh
Sm

no es un argumento vlido en lgica proposicional.

1. Motivacin

La lgica de primer orden es ms expresiva:

Analiza la estructura de las oraciones (sujeto y predicado, o

en general, predicado y objetos sobre los que predica).
Ej.
Scrates es hombre
6 es divisible por 2
El sucesor de 5 es divisible por 2
Considera la posibilidad de objetos genricos (variables) y
los conceptos de todo y alguno (cuantificadores)
Ej.
Todos los hombres son mortales

Contenidos

6.1 Motivacin
6.2 Sintaxis
6.3 Semntica

2. Sintaxis

Los elementos sintcticos bsicos de la lgica de

primer orden son: smbolos de constante, funcin y
predicado. Comenzarn siempre con mayscula.
Cada funcin o predicado tiene una aridad fija.

Representaremos a las variables mediante cualquier

cadena alfanumrica que empiece por minscula.

2. Sintaxis

S tomo
S | (SS) | (SS) | (SS) | (SS)

Esta parte es igual que en lgica proposicional, pero ahora

los tomos tienen estructura

2. Sintaxis

Trmino Variable | Constante | Funcin (Trmino*)

tomo Predicado(Trmino*) | Trmino = Trmino

S tomo
S | (SS) | (SS) | (SS) | (SS)

por ltimo, aadimos los cuantificadores sobre variables.

2. Sintaxis

Trmino Variable | Constante | Funcin (Trmino*)

tomo Predicado(Trmino*) | Trmino = Trmino

S tomo
S | (SS) | (SS) | (SS) | (SS)
Variable S
Variable S

Contenidos

6.1 Motivacin
6.2 Sintaxis
6.3 Semntica

6.3 Semntica

Recordemos:

En la lgica proposicional:
1. Cada proposicin puede ser verdadera o falsa.
2. Una interpretacin asigna valores de verdad a las
proposiciones atmicas
3. El valor de verdad de las proposiciones compuestas
se compone a partir de los valores de las
proposiciones atmicas, siguiendo las reglas
semnticas de las conectivas lgicas.

6.3 Semntica

En lgica de primer orden:

1.

Debemos establecer un dominio de objetos del

mundo real.
Una interpretacin establece una correspondencia
entre:

2.

1.
2.
3.

Las constantes y los objetos del dominio.

Los predicados y las relaciones entre dichos objetos.
Las funciones y las funciones sobre dichos objetos.

6.3 Semntica

Cada trmino se refiere a un objeto del dominio, y

su semntica viene determinada por la
interpretacin.
Una expresin atmica es verdadera, si la relacin a
que hace referencia el predicado es cierta entre los
objetos del dominio a los que hacen referencia sus
argumentos.
El valor de verdad de las expresiones compuestas
mediante conectivas lgicas, se compone a partir de
los valores de las expresiones atmicas (igual que
en la lgica proposicional).

6.3 Semntica

Una frmula cuantificada universalmente

xP
es verdadera, si P sigue siendo verdadera tras
interpretar que x se refiere a cada uno de los
objetos del dominio.

Una frmula cuantificada existencialmente

xP
es verdadera si P es verdadera para al menos una
interpretacin de x como un objeto del dominio.

6.3 Semntica

Los cuantificadores se pueden anidar. Si

combinamos existenciales con universales, el orden
es muy importante:

Todo el mundo ama a alguien: x y Loves(x,y)

Existe alguien que es amado por todo el mundo: y x
Loves(x,y)

Reglas de De Morgan para frmulas cuantificadas:

x P x P
x P x P

6.3 Semntica

Usaremos el predicado de igualdad = para

indicar que dos trminos se refieren al mismo
objeto

Si queremos expresar que el objeto al que se

refiere Father(John) y el objeto al que se refiere
Henry son el mismo, escribimos:
Father(John)=Henry
Ricardo tiene al menos dos hermanos:

x,y Brother(x,Richard) Brother(y,Richard) (x=y)

6.3 Semntica (Ejemplo)

Dominio:
El rey Ricardo Corazn de Len; su hermano menor, el
malvado rey Juan; las piernas izquierdas de Ricardo y
Juan; y una corona (en total 5 objetos)

Relaciones:

Hermandad={<Ricardo Corazn de Len, Rey Juan>,

<Rey Juan, Ricardo Corazn de Len>}
Sobre la cabeza={<La corona, Rey Juan>}

Funciones:
Pierna izquierda={
<Ricardo Corazn de Len>La pierna izquierda de Ricardo,
<Rey Juan>La pierna izquierda de Juan }

6.3 Semntica (Ejemplo)

Smbolos de constante: Richard, John

Smbolos de predicado: Brother, OnHead, Person, King,
Crown
Smbolo de funcin: LeftLeg
Una posible interpretacin (entre otras muchas) :

Richard se refiere a Ricardo Corazn de Len y John se refiere al

malvado rey Juan
Brother se refiere a la relacin de hermandad; OnHead se refiere a la
relacin sobre la cabeza; Person, King y Crown se refieren a los
conjuntos de objetos que son personas, reyes y coronas,
respectivamente
LeftLeg se refiere a la funcin pierna izquierda

6.3 Semntica (Ejemplo)

6.3 Semntica (Ejemplo)

Ejemplos de trminos:
Richard
LeftLeg(John)
LeftLeg(LeftLeg(Richard))

Ejemplos de tomos:
Brother(Richard,John)
Person(LeftLeg(Richard))

(!)

6.3 Semntica (Ejemplo)

Ejemplos de frmulas compuestas con conectivas

lgicas (todas ellas son verdaderas en nuestro
ejemplo de modelo bajo la interpretacin
considerada anteriormente):

Brother(LeftLeg(Richard),John)
Brother(Richard,John) Brother(John,Richard)
King(Richard) King(John)
King(Richard) King(John)

6.3 Semntica (Ejemplo)

Todos los reyes son personas:

x King(x) Person(x)
x King(x) Person(x)

(correcto)
(error!)

El significado de la segunda expresin es:

Todos los objetos son reyes y personas

6.3 Semntica (Ejemplo)

El rey Juan tiene una corona sobre su cabeza :

x Crown(x) OnHead(x,John)
x Crown(x) OnHead(x,John)

(correcto)
(error!)

El significado de la segunda expresin es:

Existe un objeto que o no es una corona o est sobre la
cabeza del rey Juan