1.

Lógica proposicional y
cálculo de predicados
1.6 Cálculo de predicados
1.6.1 Predicados
 Objetivo

• Existen razonamientos que parecen lógicos pero no se puede especificar empleando la

lógica proposicional

• H1: Todos los gatos tienen cola

• H2: Remy es un gato
• C: Remy tiene cola

• Para mostrar que este razonamiento es válido se deben identificar a los individuos, sus
propiedades y predicados
 Cálculo de predicados

• Los predicados se utilizan para describir relaciones entre individuos u

objetos
• En el enunciado “Lucy y Sofía son hermanas”
• Predicado: “son hermanas”
• Términos: “Lucy” y “Sofía”
 Universo de discurso o dominio

• Colección de todas las personas, ideas, símbolos, estructuras de datos y

demás que afectan el argumento lógico que se está considerando.

• Los elementos del universo de discurso se denominan individuos

 Universo de discurso
• H1. Ana es la madre de Lucy
• H2: Ana es la madre de Lucas
• H3: Todas las personas que tienen la misma madre son hermanos
• C: Lucy y Lucas son hermanos

• El universo de discurso para este ejemplo podría ser las personas que viven en una cierta
casa.

• La veracidad de una frase puede depender del dominio seleccionado.

• “Existe un número que es el más pequeño de todos” ¿En qué dominio?

 Predicados
• Generalmente los predicados hacen declaraciones acerca de individuos

• Alfredo y Diana son hermanos

• Lucy es la madre de Ana
• Remy es un gato
• La suma de 2 y 3 es 5

• En cada una de las frases anteriores, existe una lista de individuos (argumentos) junto con
frases que describen ciertas propiedades de los individuos o relaciones entre ellos

• Las propiedades o relaciones se les conoce como predicados

 Predicados

• Cada predicado recibe un nombre, seguido por la lista de argumentos

• Utilizamos el identificador “madre” para expresar el predicado “es la madre de”
• madre(Lucy, Ana) o M(l,a)
• El orden de los argumentos es importante
• madre(Lucy, Ana) no es lo mismo que madre(Ana, Lucy)
• Esto se conoce como fórmula atómica
 Fórmula atómica

• Son frases que se pueden combinar mediante conexiones lógicas como si

fueran proposiciones.

• Se puede expresar el hecho de que Remy es un gato y Remy tiene cola,

tenemos que

• gato(Remy) ⇒ tienecola(Remy)
 Variables y particularizaciones

• Para no asociar los argumentos de una fórmula atómica con un individuo

particular se utilizan variables representadas por las últimas letras del
alfabeto.

• gato(x) ⇒tienecola(x)
• perro(y) ∧ café(y)
1.6.2 Cuantificador universal y existencial
 Cuantificadores

• Indican la frecuencia con la cual es verdadera una cierta frase

• Todos los gatos tienen cola

• A algunas personas les gusta la carne
• Todo el mundo tiene un descanso de vez en cuando
 Cuantificador universal

• Sea 𝐴 una expresión, y sea 𝑥 una variable. Si deseamos indicar que 𝐴 es

verdadero para todos los posibles valores de 𝑥, escribiremos ∀𝑥𝐴. ∀𝑥 se
denomina cuantificador universal, y 𝐴 se le denomina alcance o ámbito del
cuantificador

• El símbolo ∀ en lenguaje natural se puede expresar como todo, todos, para

todo, para cada, cualquiera, entre otras
 Cuantificador existencial

• Sea 𝐴 una expresión, y sea 𝑥 una variable. Si deseamos indicar que 𝐴 es

verdadero para cuando menos un valor de 𝑥, escribiremos ∃𝑥𝐴. ∃𝑥 se
denomina cuantificador existencial, y 𝐴 se le denomina alcance o ámbito del
cuantificador. Se lee “Existe 𝑥 un tal que 𝐴”

• El símbolo ∃ en lenguaje natural se puede expresar como para algún,

alguno, alguna, algunos, algunas, para al menos, entre otras, cuando menos
un
 Ejemplo

1. Todo el mundo tiene suerte de vez en cuando

2. Todos los gatos tienen cola
3. A algunas personas les gusta la carne
 Ejemplo

1. ∀𝑥𝐴 𝑥
2. ∀𝑦 𝑔𝑎𝑡𝑜 𝑦 ⇒ 𝑡𝑖𝑒𝑛𝑒𝑐𝑜𝑙𝑎 𝑦
3. ∃𝑧𝑃 𝑧
1.6.3 Fórmulas de predicados
 Reglas específicas para el cálculo de
predicados
Nombre Expresión
Negación del cuantificador, NC ¬ ∀𝑥 𝑃(𝑥) ⇔ (∃𝑥)¬𝑃(𝑥)
Negación del cuantificador, NC ¬ ∃𝑥 𝑃(𝑥) ⇔ (∀𝑥)¬𝑃(𝑥)
Especificación Universal, EU ∀𝑥 𝑃 𝑥 ⇒ 𝑃 𝑦 (𝑦 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎)
Especificación Existencial, EE ∃𝑥 𝑃 𝑥 ⇒ 𝑃 𝑎 (𝑎 𝑒𝑠𝑝𝑒𝑐í𝑓𝑖𝑐𝑎)
Generalización Universal, GU 𝑃 𝑥 (𝑥 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎) ⇒ ∀𝑥 𝑃 𝑥
Generalización Existencial, GE 𝑃 𝑎 (𝑎 𝑒𝑠𝑝𝑒𝑐í𝑓𝑖𝑐𝑎) ⇒ ∃𝑥 𝑃 𝑥
 Ejemplo

• H1: Todos los hombres son mortales

• H2: Sócrates es un hombre
• C: Por tanto, Sócrates es mortal
 Notación simbólica

• H(x): x es un hombre
• M(x): x es un mortal
• s: Sócrates
 Razonamiento válido

• H1: ∀𝑥(𝐻 𝑥 →𝑀 𝑥 )
• H2: 𝐻 𝑠
• C: M 𝑠
 Razonamiento válido

Paso Expresión Regla

1 ∀𝑥(𝐻 𝑥 → 𝑀 𝑥 ) P
2 𝐻 𝑠 →𝑀 𝑠 EU, 1
3 𝐻 𝑠 P
4 𝑀 𝑠 T, 2, 3, MP
 Ejemplo

• H1: Un estudiante de esta clase sabe cómo escribir programas en JAVA

• H2: Todo aquel que sepa cómo escribir programas en JAVA puede conseguir
un trabajo bien pagado
• C: Alguien en esta clase puede conseguir un trabajo bien pagado
 Notación simbólica

• C(x): x está en la clase

• J(x): x conoce la programación JAVA
• H(x): x puede conseguir un trabajo bien pagado
 Razonamiento válido

• H1: ∃𝑥(𝐶 𝑥 ∧ 𝐽 𝑥 )
• H2: ∀𝑥(𝐽 𝑥 → 𝐻 𝑥 )
• C: ∃𝑥(𝐶 𝑥 ∧ 𝐻 𝑥 )
 Aclaración
• En el modo subjuntivo el verbo expresa una acción o un hecho con sujeción o dependencia a
la acción expresada por otro verbo, el cual comúnmente ha de estar en el modo indicativo,
aunque también puede ser en el de subjuntivo

• Para el ejemplo anterior:

• Puede. Modo indicativo, tercera persona del singular

• Sabe. Modo indicativo, tercera persona del singular
• Sepa. Modo subjuntivo, primera ó tercera persona del singular

• *Adicionalmente se debe tomar en cuenta el cuantificador existencial asociado a la

declaración
 Razonamiento válido

Paso Expresión Regla

1 ∃𝑥(𝐶 𝑥 ∧ 𝐽 𝑥 ) P, H1
2 𝐶 𝑎 ∧𝐽 𝑎 EE, 1
3 𝐶 𝑎 T,2, Simplificación
4 𝐽 𝑎 T,2, Simplificación
5 ∀𝑥(𝐽 𝑥 → 𝐻 𝑥 ) P, H2
6 𝐽 𝑎 →𝐻 𝑎 EU, 5
7 𝐻 𝑎 T, 6, 4, MP
8 𝐶 𝑎 ∧ 𝐻(𝑎) T, Conjuntividad
9 ∃𝑥(𝐶 𝑥 ∧ 𝐻 𝑥 ) GE, 8
 Ejercicio

• H1: Alguien ha ganado cien millones

• H2: Cualquiera que haya ganado cien millones es rico
• C: Existe alguien que es rico
 Ejercicio

• H1: ∃𝑥(𝑃 𝑥 ∧ 𝑄(𝑥)) → ∀𝑦(𝑅 𝑦 → 𝑆(𝑦))

• H2: ∃𝑦(𝑅 𝑦 ∧ ¬𝑆(𝑦))
• C: ∀𝑥(𝑃 𝑥 → ¬𝑄(𝑥))
 Equivalencias ⇔

• Se debe demostrar ambas implicaciones:

• Izquierda
• Derecha
 Ejercicio

• ¬∀𝑥(¬𝑃 𝑥 → 𝑄 𝑥 → 𝑅 𝑥 ) ⇔ ∃𝑥(¬(¬𝑃 𝑥 → 𝑅 𝑥 ) ∧ 𝑄 𝑥 )
 Referencias

• ZALDIVAR ESQUIVEL, Orlando, ZALDIVAR ZAMORATEGUI, Orlando

Estructuras discretas. Lógica proposicional y cálculo de predicados
México UNAM, Facultad de Ingeniería, 2011
• VEERARAJAN, T.
Matemáticas discretas con teoría de gráficas y combinatoria
México McGraw-Hill Interamericana, 2008