Subido por Lucas Dana

Lógica de primer orden

Anuncio
Insuficiencia de la lógica
proposicional
ƒ Existen argumentaciones válidas cuya validez no se puede
demostrar mediante lógica proposicional
ƒ Ejemplo 1:
2.1 Introducción al lenguaje de la
lógica de primer orden
Algunos mamíferos leen a Quevedo
Todos los lectores de Quevedo disfrutan
∴ Algunos mamíferos disfrutan
ƒ Ejemplo 2:
Lógica
El israelita Sansón se armó con la quijada de un asno
Los asnos son cuadrúpedos
∴ Algunos israelitas se armaban con la quijada de un cuadrúpedo
ƒ Problema: la lógica proposicional no trata de individuos,
propiedades de esos individuos ni generalidades sobre
individuos
2.1 Introducción al lenguaje de la lógica de primer orden
Lógica de predicados (o
de primer orden)
Lógica de predicados (o
de primer orden) (2)
ƒ Vamos a extender la lógica proposicional para poder tratar con
individuos
• Universo del discurso Æ conjunto de individuos sobre los que
hablamos
ƒ Añadimos nuevos elementos a la lógica proposicional y obtenemos
la lógica de predicados
• Constantes Æ nombres propios referidos a individuos
Quevedo, Sansón
• Predicados Æ Enunciados sobre individuos
• Cuantificaciones Æ Expresan propiedades sobre los individuos
del universo del discurso
¾ Universales Æ propiedades que cumplen todos los individuos del
universo del discurso
Todos los lectores de Quevedo disfrutan
¾ Existenciales Æ propiedades que cumplen algunos individuos del
universo del discurso
Algunos mamíferos leen a Quevedo
• Igualdad Æ Expresa la igualdad entre dos individuos
¾ Monádicos Æ Propiedades de un individuo
Ser mamífero, disfrutar, ser israelita, ser asno, ser cuadrúpedo
¾ Poliádicos Æ relaciones entre individuos
Leer a alguien, armarse con algo
El padre de María es Luis
3+5=8
¾ La igualdad no es un miembro esencial de la lógica de predicados
¾ Hablamos de lógica de predicados con igualdad
• Funciones Æ descripción de un individuo en función de otro(s)
Quijada de algo, suma de dos números
2.1 Introducción al lenguaje de la lógica de primer orden
2
3
2.1 Introducción al lenguaje de la lógica de primer orden
4
1
Formalización
Formalización (2)
ƒ Constantes Æ usaremos letras minúsculas
ƒ Cuantificaciones Æ para representar cuantificaciones usamos:
a, b, c…
• ¡Cuidado! No confundir con símbolos proposicionales
• Variables Æ x, y, z…
ƒ Predicados Æ usaremos letras mayúsculas, con los argumentos del
predicado entre paréntesis
P(a), Q(a,b)…
• A veces, especialmente cuando intervienen elementos matemáticos, se
puede utilizar notación infija
a < b (equivale a M(a,b))
ƒ Funciones Æ usaremos letras minúsculas, con los argumentos de la
función entre paréntesis
f(a), g(a,b,c)…
• A veces, especialmente cuando intervienen elementos matemáticos, se
puede utilizar notación infija
a + b (equivale a s(a,b))
• Cuantificadores
¾ Cuantificaciones universales Æ ∀ (para todo)
¾ Cuantificaciones existenciales Æ ∃ (existe)
∃x (M(x) ∧ L(x,a)) Æ algunos mamíferos leen a Quevedo
∀x (A(x) → C(x)) Æ todos los asnos son cuadrúpedos
¾ Los cuantificadores cierran las fórmulas abiertas construidas con variables
Æ cuantifican el valor de las variables
ƒ Igualdad Æ usamos el símbolo =
f(a) = b, 3 + 5 = 8
2.1 Introducción al lenguaje de la lógica de primer orden
5
Ejemplo 1 formalizado
6
El israelita Sansón se armó con la quijada de un asno
Los asnos son cuadrúpedos
∴ Algunos israelitas se armaban con la quijada de un cuadrúpedo
ƒ Universo del discurso Æ seres vivos y partes de seres
vivos
ƒ Interpretación:
ƒ Universo del discurso Æ seres vivos
ƒ Interpretación:
a ≡ Sansón
f(x) ≡ quijada de x
A(x) ≡ x es asno
M(x) ≡ x es mamífero
D(x) ≡ x disfruta
ƒ Formalización:
I(x) ≡ x es israelita
C(x) ≡ x es cuadrúpedo
R(x,y) ≡ x se armó con y
ƒ Formalización:
∃x (M(x) ∧ L(x,a))
∀x (L(x,a) → D(x))
∴ ∃x (M(x) ∧ D(x))
2.1 Introducción al lenguaje de la lógica de primer orden
2.1 Introducción al lenguaje de la lógica de primer orden
Ejemplo 2 formalizado
Algunos mamíferos leen a Quevedo
Todos los lectores de Quevedo disfrutan
∴ Algunos mamíferos disfrutan
a ≡ Quevedo
L(x,y) ≡ x lee a y
¾ Se usan como nombres indeterminados
M(x) ∧ L(x,a) Æ x es un mamífero y x lee a Quevedo
¾ Esto da lugar a fórmulas abiertas Æ está indeterminado el valor de la
variable
I(a) ∧ ∃x (A(x) ∧ R(a,f(x)))
∀x (A(x) → C(x))
∴ ∃y (I(y) ∧ ∃x (C(x) ∧ R(y,f(x)))
7
2.1 Introducción al lenguaje de la lógica de primer orden
8
2
Descargar