Lógica de predicados

Lógica de predicados

Más sobre simbolización

Nuevas situaciones

Ejemplos
En Lógica proposicional

1. P1. Todos los hombres son mortales P1. P

P2. Sócrates es hombre P2. Q
Conclusión Sócrates es mortal Conc. R

2. P1. Todos los alumnos estudian Matemáticas P1. M

P2. Daniel es alumno P2. A
Conclusión Daniel estudia Matemáticas Conc. D

3. P1 Todos los múltiplos de 4 son divisibles por 2 P1. M

P2 24 es múltiplo de 4. P2. C
Conclusión 24 es divisible por 2 Conc. D

Simbolización
 Lógica de predicados

Más sobre simbolización

¿Y ahora qué?

Obviamente nos hemos quedado cortos con la Lógica de

proposiciones

¿Qué ha ocurrido?

No hemos tenido en cuenta los sujetos que realizan cada acción

o a quién se refieren las distintas propiedades

Simbolización
 Lógica de predicados

Más sobre simbolización

¿Qué hacemos para tener en cuenta a los sujetos de las acciones?

Ejemplos El coche es rojo.

Pedro come manzanas
Pedro es hermano de María

R(…) =… es rojo.
Con letras mayúsculas denotamos Son
N(…) = … come manzanas
la acción o propiedad predicados
H(…, …) = … es hermano de …
c= el coche
Con letras minúsculas denotamos
p= Pedro
objetos específicos o individuos
m= María

R(c) = El coche es rojo.

N(p) = Pedro come manzanas
H(p,m) = Pedro es hermano de María

Son proposiciones
Simbolización
 Lógica de predicados

Más sobre simbolización

En general,
P(x) = x es o verifica P

Ejemplos

1. Juan es rubio
Definimos R(x)= x es rubio, j= Juan
Simbolizamos R(j)
2. Si definimos A(x)= x es alumno, M(x)= x estudia Matemáticas
¿Cómo traduciríamos A(x) ⟶ M(x)?
Si x es alumno entonces x estudia Matemáticas

Observaciones

1. R(x), A(x), M(x) no son proposiciones porque no sabemos su valor

de verdad (cierto o falso), al no estar determinada la x
2. ¿Qué o quién es esa x?

Simbolización
 Lógica de predicados

Más sobre simbolización

Nuevo problema
¿Qué o quién es esa x?

Ejemplo

En A(x)= x es alumno
A(x) ⟶ M(x)
M(x)= x estudia Matemáticas
¿A qué alumnos nos referimos: los de esta clase, los de esta
escuela, los de esta universidad, los de esta comunidad,…?
Solución
Cuando simbolizamos es necesario definir el conjunto en el que vamos
a considerar los elementos. Le llamamos universo, U.
Ejemplo
En el ejemplo anterior consideramos , por ejemplo,
U={miembro de la ETSInf de la UPV}
Universo
 Lógica de predicados

Más sobre simbolización

¿Alguna laguna más?

Volviendo a uno de los ejemplos del principio

Todos los alumnos estudian Matemáticas

Daniel es alumno
Conclusión Daniel estudia Matemáticas

U={miembros de la ETSInf de la UPV}

A(x) = x es alumno
M(x)= x estudia Matemáticas
d = Daniel

¿Qué falta ?

No hemos reflejado “todos los..”

Cuantificadores
 Lógica de predicados

Más sobre simbolización

Cuantificador universal: ∀

¿Cómo se lee ∀x ?
Supongamos definido un universo U.
• Cualquiera que sea x el elemento de U escogido, si…
• Dado un x cualquiera del universo, si …
• Sea x un elemento cualquiera del universo, si…
• Para cualquier elemento x del universo que consideremos, si...
• Si x es un elemento cualquiera del universo,…
Ejemplo
Todas las águilas vuelan
• U={aves} x A(x)  V(x)
A(x)=x es águila Dada un ave cualquiera si es águila entonces vuela
V(x)=x vuela No puedo leer « para todo » o « todos »
• U={águilas} x V(x)
Si x es un águila cualquiera, x vuela
Puedo leer « para todo » o « todos »
Cuantificadores
 Lógica de predicados

Más sobre simbolización

Cuantificador existencial: ∃

¿Cómo se lee ∃ x?
Supongamos definido un universo U.
• Hay al menos un elemento x en U que verifica…
• Existe en el universo un elemento que verifica…
• Algún elemento x del universo verifica …
Observación
Aunque no se indique siempre se sobrentiende al menos uno,
salvo que se indique explícitamente que es sólo uno, que es único.
Si es único escribiremos ∃ *x ó ∃! x
Ejemplo
En esa tienda hay portátiles que pesan muy poco
U={ordenadores de la tienda}
P(x) = x es un portátil ∃x P(x) ∧ M(x)
M(x) = x pesa muy poco
Cuantificadores
 Lógica de predicados

Definiciones y propiedades en L. de predicados

Definiciones, propiedades
 Un predicado describe una propiedad de uno o varios objetos
 Llamaremos universo a la clase de objetos o individuos que estamos considerando
 Las variables van acompañadas de un cuantificador:
• Universal ∀ ó
• Existencial ∃
 Una fórmula atómica en la lógica de predicados es una expresión del tipo
P(x1, x2, …, xn), donde P es un predicado y x1, x2, … , xn son variables.

 Una forma proposicional en la lógica de predicados es la que está construida

a partir de fórmulas atómicas, de forma similar a las formas proposicionales
en la lógica de enunciados, y en la que todas las variables que en ella aparecen
están cuantificadas

Nota
P(x) no es una forma proposicional en lógica proposicional, ya que no puede ser
declarada verdadera o falsa. Sin embargo, sí obtenemos una forma proposicional
cuando la variable x se remplaza por un objeto o término concreto
Formas proposicionales
 Lógica de predicados

Más sobre simbolización

Ejemplos universo Cuantificador universal
1. Todas las ovejas son blancas
U= {animales} ∀x (O(x) ⟶B(x))
O(x)= x es oveja
B(x)= x es blanca
2. Algunas ovejas no son blancas
∃x (O(x) ∧ ⏋B(x))
predicado

variable Cuantificador existencial

Formas proposicionales
 Lógica de predicados

Reglas aristotélicas
Simbolización
Ejemplos
U={personas}, P(x) = x es payaso, D(x) = x es divertido

Todos los payasos son divertidos Algunos payasos son divertidos

∀x (P(x) ⟶ D(x)) ∃ x (P(x) ∧ D(x))

Ningún payaso es divertido Algunos payasos no son divertidos

∀ x (P(x) ⟶ ⏋D(x)) ∃ x (P(x) ∧ ⏋ D(x))

Reglas aristotélicas
Todos los Q son R Algunos Q son R
∀x (Q(x) ⟶ R(x)) ∃ x (Q(x) ∧ R(x))

Ningún Q es R Algunos Q no son R

∀ x (Q(x) ⟶ ⏋R(x)) ∃ x (Q(x) ∧ ⏋ R(x))

Reglas aristotélicas
 Lógica de predicados

Más sobre simbolización

Observaciones referentes a los cuantificadores

Al simbolizar enunciados expresados en lenguaje natural utilizando

lógica de predicados lo usual es que:

• El cuantificador ∀ vaya acompañado por el conector ⟶

• El cuantificador ∃ vaya acompañado por el conector ∧

Reglas aristotélicas
 Lógica de predicados

Equivalencias y leyes de inferencia en L.P.

Equivalencias en lógica de predicados
El proceso de inferencia en lógica de predicados es análogo al visto para lógica proposicional,
pero se añaden algunas equivalencias, implicaciones y leyes de inferencia que son específicas
para los cuantificadores.

1. Negación de cuantificadores
• ⏋∀x P(x) ≡ ∃x ⏋P(x)
• ⏋∃ x P(x) ≡ ∀x ⏋P(x)
2. Disyunción y conjunción
• ∀x (P(x) ∧ Q(x)) ≡ (∀x P(x)) ∧ (∀x Q(x))
• ∃x (P(x) ∨ Q(x)) ≡ (∃x P(x)) ∨ (∃x Q(x))
• ((∀x P(x)) ∨ (∀x Q(x))  ∀ x (P(x) ∨ Q(x))
• ∃x (P(x) ∧ Q(x))  (∃x P(x)) ∧ (∃x Q(x))
¡Atención!
3. Predicados de dos variables
• ∀y ∀x P(x, y) ≡ ∀x ∀y P(x, y)
• ∃ y ∃ x P(x, y) ≡ ∃ x ∃ y P(x, y)
• ∃x ∀y P(x, y)  ∀y ∃ x P(x, y) ¡Atención!

Equivalencias y leyes de inferencia

 Lógica de predicados

Equivalencias y leyes de inferencia en L.P.

Leyes de inferencia en lógica de predicados

1. Especificación universal
De la forma proposicional ∀x P(x) se puede deducir
P(a) para un elemento a cualquiera del universo.

2. Especificación existencial
De la forma proposicional ∃x P(x) podemos deducir P(a)
para algún elemento determinado, concreto, del universo.

3. Generalización universal
Si P(y) es verdadero para cualquier elemento y del universo
entonces podemos deducir ∀x P(x).

4. Generalización existencial
Si P(a) es verdadero para un elemento concreto a del
universo entonces podemos deducir ∃x P(x).

Leyes de inferencia
 Lógica de predicados

Equivalencias y leyes de inferencia en L.P.

Ejercicio
1. Haciendo uso de las reglas específicas del cálculo de predicados y de las
propiedades generales de la Lógica Proposicional, demostrad las
equivalencias que aparecen a continuación.
a) x (P(x)  Q(x))  x (P(x)  Q(x))
b) x (P(x)  Q(x))  x (P(x)  Q(x))

2. Haciendo uso de las reglas específicas del cálculo de predicados y de

las propiedades generales de la Lógica Proposicional, demostrad las
implicaciones que aparecen a continuación. Poned un ejemplo que ponga
de manifiesto que las recíprocas de dichas implicaciones son falsas.
a) ((∀x P(x)) ∨ (∀x Q(x))) ⟶ ∀ x (P(x) ∨ Q(x))
b) ∃x (P(x) ∧ Q(x))) ⟶ (∃x P(x)) ∧ (∃x Q(x))