Introducción
„ El cálculo de predicados analiza la
Cálculo de predicados
M.S.I. David Picazo Z.
Introducción
„ Parece, efectivamente, ser un razonamiento
correcto. Se puede escribir en la forma general
siguiente:
– Premisa: Todos los P son A
– Premisa: Todos los R son P
– Conclusión: Todos los R son A
„ Sean A, B y R objetos cualesquiera libremente
elegidos. Siempre que las premisas sean ciertas
se encontrará una conclusión cierta.
Ejercicio 1
„ En los razonamientos siguientes tanto las
premisas como las conclusiones son
proposiciones simples. A pesar de que las
conclusiones no pueden deducirse con los
métodos y reglas que se conocen hasta ahora,
algunos de los razonamientos son válidos y otros
no.
„ Leer los razonamientos e indicar si la conclusión
parece deducirse o no de las premisas. (no se
confunda la verdad de hecho y la validez lógica)
estructura lógica de las proposiciones
simples.
„ Consideremos el razonamiento siguiente:
– Premisa: Todos los pájaros son animales
– Premisa: Todos los ruiseñores son pájaros
– Conclusión: Todos los ruiseñores son animales
Introducción
„ Por otra parte, se puede simbolizar este
razonamiento como se ha hecho anteriormente:
p= Todos los pájaros son animales
q= Todos los ruiseñores son pájaros
r= Todos los ruiseñores son animales
p Premisa
q Premisa
r Conclusión
No se puede deducir r de p y q mediante las reglas
consideradas hasta ahora
Ejercicio 1
„ Todas las ranas son anfibios
Todos los anfibios son vertebrados
„
„ Por tanto, todas las ranas son vertebrados
„ Algunos estudiantes estudian Lógica
„ Todos los estudiantes que estudian Lógica conocen el término
“premisa”
Por tanto, algunos estudiantes conocen el término “premisa”
„
„ Todos los árboles de nuestro jardín pierden las hojas en otoño
„ Ningún pino pierde sus hojas en otoño
„ Por tanto, algunos de los árboles de nuestro jardín son pinos
1
 Ejercicio 1
„ Todos los reptiles son animales de sangre fría
„ Todos los caracoles son animales de sangre fría
„ Por tanto, todos los caracoles son reptiles
„ Todos los amigos de Pedro son chicos que juegan al básquetbol
„ Todos los chicos que juegan al básquetbol son altos
„ Por tanto, todos los amigos de Pedro son altos
„ Algunas figuras de este papel son pentágonos
„ Todos los pentágonos tienen cinco lados
„ Algunas figuras de este papel tienen cinco lados
Ejercicio 2
„ Sugerir una conclusión que se piense que
podría ser consecuencia de las premisas
dadas en cada uno de los ejercicios
siguientes, aunque no se pueda de
momento probar que la conclusión es
válida. (también aquí lo que se pide es lo
que parece deducirse)
Términos
„ Empezaremos el análisis de las
proposiciones simples buscando lo que
son términos. Se consideran las
proposiciones:
– María está ausente
– Juan va despacio
– Este libro es rojo
– Dos es menor que tres
Ejercicio 1
„ Todo objeto que emite luz a causa de la energía de sus partículas es un
cuerpo luminoso
„ La Luna no es un cuerpo luminoso
„ Por tanto, la Luna es un objeto que emite luz a causa de la energía de sus
partículas
„ Platón fue un filósofo griego
„ Algún filósofo griego fue ciudadano de Atenas
„ Por tanto, Platón fue ciudadano de Atenas
„ Ningún perro es anfibio
„ Koko es un perro
„ Por tanto, Koko no es anfibio
Ejercicio 2
Todos los miembros del equipo ganaron en sus pruebas
„
„ Todos los que ganaron en sus pruebas recibieron medalla
Ninguna proposición simple contiene conectores
„
„ Esta proposición es una proposición atómica
„ Toldos mis amigos esperarán la entrevista
„ Juan es uno de mis amigos
„ Ningún miembro del comité está presente
„ Todas las personas directamente afectadas por la decisión
están presentes.
Términos
„ De estas proposiciones los términos son
las palabras “María”, “Juan”, “este libro”,
“dos” y “tres”. Estos ejemplos sugieren
una definición elemental:
– Un término es una expresión con la que se
nombra o se designa un único objeto
2
 Término
„ Obsérvese que un término no ha de ser
necesariamente un nombre como “María”
o “Juan”. Un término puede ser también
una frase, como “este libro”, “3+2” o “el
primer presidente de México”. Que se
refiere a un individuo o cosa particular.
Término
„ Obsérvese que se considera la frase “1+1”
una descripción que se refiere al número 2
y el número “2” un nombre del número 2.
„ Igual que un nombre, una descripción que
es un término, identifica a una persona o
cosa particulares.
Ejercicio
„ En las proposiciones siguientes, señalar de
forma distinta los términos que son nombre y los
que son descripciones
– El continente africano es mayor que el continente de
Australia
– La raíz cuadrada de 25 es 5
– Juan es el corredor más rápido del equipo
– Susana es ponente en la sesión de hoy
– Este libro es muy informativo
Término
„ Algunos términos son nombres y algunos son
descripciones que se refieren a un individuo u
objeto. Consideremos las proposiciones:
– Brasil es el mayor productor de café del mundo
– Este libro es demasiado pesado
– 1+1 = 2
„ En estas proposiciones se tienen como nombres
“Brasil” y las cifras arábigas “1” y “2”. Se tienen
como descripciones las frases “el mayor productor
de café del mundo”, “este libro”, “1+1”
Ejercicio
„ Señalar los términos en las proposiciones
siguientes:
– Este ejercicio es muy fácil
– China es el país más poblado del mundo
– El juego empezará pronto
– 5+4=3+6
– Juan es el presidente de nuestra clase
– Mi ejercicio de matemáticas fue suspendido
– París es la capital de Francia
Predicados
„ Consideremos la proposición:
– Sócrates es sabio
„ De la discusión anterior se sabe que
“Sócrates” es un término. Qué se puede
decir de la frase “es sabio”?. No es un
término, pero dice algo sobre Sócrates. La
frase “es sabio” es un predicado
3
 Predicados
„ Normalmente, en proposiciones simples el
sujeto de la proposición es un término y el
predicado es el resto de la proposición que
dice algo sobre el sujeto. En el ejemplo, el
término “Sócrates” es el sujeto de la
proposición, y la frase “es sabio” es el
predicado que dice algo sobre Sócrates
Predicados
„ Se trata de ver cómo se pueden simbolizar
estas proposiciones. Sea “S” el predicado
“es nadador” y sea j=Juan. Entonces se
puede simbolizar la proposición “Juan es
nadador” por:
Sj
Ejercicio
„ Simbolizar las siguientes proposiciones:
– El rayo de luz se refracta
– El gentío se dispersó rápidamente
– Una fina brisa sopla
– El Gato Chester hace muecas
– El río Conchos se desborda
– Susana anda graciosamente
– Juan entra
– El Sr. López guisa
– Jorge está esperando pacientemente
Predicados
„ Ejemplos:
– Juan es nadador
– María canta
– Susana está triste
– José corre deprisa
„ Se pueden distinguir los términos. Los
predicados también aparecen claramente. Son
“es nadador”, “canta”, “está triste”, y “corre
deprisa”.
Predicados
„ Sea “F” el predicado “canta” y m =
“María”. Entonces se puede simbolizar la
frase “María canta” por:
Fm
Nombres comunes como predicados
„ Considérese:
– Sócrates es un hombre
„ “Sócrates” es un término. Se puede pensar que
también “hombre” es un término, pero no identifica
una persona o cosa particular. En gramática,
“hombre” es un nombre común. En lógica es
conveniente dejar que nombres comunes sirvan
como partes del predicado, y el nombre común
“hombre” por sí mismo no es un término.
4
Nombres comunes como predicados
„ Algunas otras proposiciones en las que nombres
comunes sirven como partes de predicados son:
– Chicago es una ciudad
– Einstein fue un científico brillante
– Marte es un planeta
„ En estas tres proposiciones los nombres
comunes “ciudad”, “científico” y “planeta” con
partes de los predicados.
Términos y predicados
„ Es natural decir que los predicados
también describen objetos. En lógica,
cuando se dice que un término describe
un objeto, se piensa que esa descripción
se sabe exactamente que objeto es. Un
término describe completamente un
objeto. Identifica aquel objeto particular.
Ejercicio
„ Cuáles son los nombres comunes en las
proposiciones siguientes?
– Julio es un estudiante
– Azul y amarillo son colores complementarios
– Esta anémona marina es un animal
– Estos pinos de Creel son árboles perennes
– María es una enfermera
– El Sr. Pérez es un contador
Términos y predicados
„ En resumen, recuérdese que términos son
expresiones que nombran o describen
algún objeto único.
„ Los predicados no nombran objetos pero
dicen algo acerca de ellos.
Términos y predicados
„ Por lo tanto, los nombres comunes pueden ser
también partes de términos cuando describen
una cosa particular. Por ejemplo “esta niña”, o
“el primer chico de la fila”. Los predicados, por
otra parte, sólo describen objetos parcialmente.
De la proposición “María canta” se sabe algo
sobre María por el predicado, pero sólo del
predicado no se podría deducir que la
proposición se refiere a María.
Anotar las proposiciones en las que hay nombres comunes.
„
Después indicar cuáles de estos nombres comunes son
partes de predicados. Indicar qué nombres comunes no
son partes de predicados pero son utilizados como
términos.
– Luis actúa muy rápidamente
– Javier es un hombre al que le gustan los libros
– José ha leído rápidamente
– Estos volúmenes son libros de consulta
– Venus es un planeta
– Este reloj funciona continuamente
– Aquella planta es un vegetal
– Este paquete contiene ropa
– Su teléfono está sonando
– Carlos es un pianista
5
 Ejercicio Ejercicio
„ Simbolizar las siguientes proposiciones „ Sea R el predicado “es roja”, L = “es un
compuestas. licenciado”, j=“Juan” y p el término “esta
– Si Juana es alta, entonces Susana es baja pintura”, descifre las siguientes
– O Catalina se ha retrasado o Rosa se ha adelantado expresiones simbolizadas:
– Eubola es una isla griega y Creta es una isla griega „ Lj Æ Rp
– Si Tomás es elegido, entonces Jorge será nombrado „ Rp
– Si José es viejo, entonces Juan no es viejo „ Lj Rp
– Juan es licenciado y la pintura es roja „ Lj Rp

Variables Ejemplo
„ Considere el ejemplo: „ Hugo ayuda a Paco y es ayudado por Luis.
– Eisenhower nombró ministro de justicia a Kemp – Axy : x ayuda a y
– h = Hugo
– Nxy : x nombró a y – p = Paco
– e = Eisenhower – l = Luis
– k = ministro de justicia Kemp

– En símbolos: Ahp Alh

En símbolos: Nek (es un predicado compuesto)

Ejemplo Ejercicio
„ Dar una traducción predictiva a cada una de las
„ Si x es mayor que dos y dos es mayor que
siguientes proposiciones
z, entonces x es mayor que z – El Sr. Miller es más alto que el Sr. Fox
– El Nautilus está en equilibrio, o está en reposo, o se
mueve con velocidad constante en línea recta.
– (no es necesario definir los símbolos)
– Martha ama a José y José ama a Martha
– O el Sr. Gómez lleva a Pedro en el coche o llegará
– En símbolos: x > 2 2>z Æ x>z tarde a la cita
– Si Juan no es el hermano de María o María no es la
cuñada de Juan, entonces el Sr. Pérez no es el padre
de José y José es el primo de María.

6
 Cuantificador universal
„ Consideremos la fórmula simple:
– x es alto
„ En vez de sustituir “Fox” por “x”, se puede decir
“Todo es alto”, la cual es una proposición falsa.
En vez de escribir “Todo es alto” se puede
escribir “Cada x es alto”. En lógica se
acostumbra a expresar la proposición en esta
forma:
– Para cada x, x es alto
Cuantificador universal
„ Considere la fórmula aritmética:
– Para cada x, x > 0
„ Esta proposición es falsa, por ejemplo si x = -1,
entonces x no es mayor que 0. Es decir, la
proposicion afirma que cada numero es mayor
que 0, pero el numero -1 no lo es, y por tanto la
proposicion es falsa.
Ejercicio
„ Simbolice con lógica predictiva las
siguientes proposiciones:
– Todos los gatos tienen garras
– Cada gato tiene garras
– Para cada x, x es sabio
– Cada uno es sabio
– Nada es absolutamente malo
– Para todo x, x no es absolutamente malo
Cuantificador universal
„ La frase “Para cada x” es un cuantificador
universal. Se denomina así porque utiliza
la variable “x” para afirmar que cada cosa
en el universo tiene una cierta propiedad;
en el caso presente de la propiedad de ser
alto.
Cuantificador universal
„ El símbolo para el cuantificador universal es una
“A” al revés, y se simboliza la anterior
proposición como:
( x) (x > 0)
„ Desde el punto de vista lógico la frase “Para
cada x” se usa en el mismo sentido que la frase
“Para todo X”.
Ejercicio
„ Simbolizar las proposiciones con lógica
predictiva:
– Para cada x, x tiene un nombre
– Cada cosa está sujeta a cambio
– Nada es absolutamente frío
– No todas las cosas son bonitas
– Nadie es un tonto
7
 Simbolización de proposiciones típicas
„ Proposiciones típicas del tipo:
– Cada hombre es un animal (1)
„ Tienen dos nombres comunes. Ninguno de
ellos se usa para construir un término y,
por tanto, hay dos predicados en esta
proposición: “es un hombre” y “es un
animal”
Simbolización de proposiciones típicas
„ La proposición “cada hombre es un
animal” en lógica proposicional se
traduciría como una proposición simple,
mientras que “Para cada x, si x es un
hombre, x es un animal”, utiliza el término
de enlace proposicional “si...entonces...”.
Simbolización de proposiciones típicas
„ Elúnico término de enlace proposicional
que puede usar en (2) es el “si..entonces..”
„ Estas proposiciones son un ejemplo típico
de proposiciones de la forma “Cada tal-y-
tal es esto-y-esto”
Simbolización de proposiciones típicas
„ Se traduciría la proposición en la forma:
– Para cada x, si x es un hombre, x es un
animal (2)
„ En esta última forma, se utiliza el término
de enlace “si..entonces..” Simbolizando:
( x) (Hx Æ Ax)
Simbolización de proposiciones típicas
„ El motivo es que si los nombres comunes han de
ser tratados como predicados, este tipo de
proposiciones (1) expresa una relación entre
hombres y animales en la forma de una
proposición simple. Cuando esta relación ha de
ser expresada por predicados completos de
manera que se pueda simbolizar, es necesario
utilizar un término de enlace proposicional para
expresarla (2).
Ejercicio
„ Simbolice las siguientes proposiciones:
– Ningún hombre es inmortal
– No toda mujer tiene el pelo largo
– Todo árbol es una planta
– Si algo es un árbol entonces es una planta
– Todos los alumnos son estudiosos
– Todos los hombres son mortales
– Todos los pericos son verdes
8
 Resumiendo Ejercicio
„ Las proposiciones de la forma “Todo A’s „ Simbolizar completamente:
son B’s” se simbolizan de la forma: – Todos los gorriones son pájaros
( x) (Ax Æ Bx) – Todos los pinos son siempre verdes
– Ningún melocotón es un vegetal
– Ningún limón es dulce
„ Proposiciones de la forma “Ninguna A’s – Todo hielo es frío
son B’s” se simbolizan en la forma: – Todo río corre hacia abajo
( x) (Ax Æ Bx) – Ningún adulto es un menor

Ejercicio Cuantificador Existencial

„ En el Universo es los números reales, considere „ El cuantificador existencial al menos uno
las proposiciones abiertas o existe uno asociado a una expresión de
P= “ x > 2”, Q= “ x2 > 4” cálculo de predicados F se representa por
„ Expresar en lenguaje coloquial y decide el valor la expresión ( x) F y es verdadera
de verdad de las siguientes proposiciones. cuando por lo menos una instancia de la
„ a) ∀x (Px) fórmula es verdadera al sustituir por la
„ b) ∀x [Px → Qx] variable x uno de los valores posibles del
„ c) ∀x [Qx → Px] dominio.

Ejemplo Veracidad
„ Utilizando el cuantificador existencial, „ Escribe en forma simbólica las siguientes
escriba las siguientes proposiciones: proposiciones y decide el valor de verdad de las
mismas.
– Existe un hombre
„ p: “Todo número real mayor que 2 tiene un
– ( x) (Hx)
cuadrado mayor que él mismo.”
– Algunos hombres son inteligentes
„ q: “Algunos números reales con cuadrado mayor
– ( x) ((Hx) ^ (Ix)) que 4 son menores que 2.”
– Algunos número reales son racionales „ r : “Cualquier número satisface x2 - x ≥ 0 o no
– ( x) ((Rx) ^ (Ax)) es mayor que 2.”

9
 Veracidad y falsedad Ejercicio
„ Con cuantificador existencial: ∃x (Px) „ Ejemplo
“ Existe un número real con cuadrado mayor a 12” En el universo de los números enteros, considere las
- Es verdadera pues se verifica para al menos un ejemplar del proposiciones abiertas
universo
Px: x2 – 8x + 15 = 0
“ Existen números reales con cuadrado negativo”
- Es falsa pues todo ejemplar del universo no la satisface
Qx: x es impar.
Rx: x > 0.
„ El cuantificador universal: ∀x (Px)
“Para cualquier número real x, x2 ≥ 0” „ Determine si son verdaderas o falsas las siguientes
- Es verdadera, pues se verifica para todos y cada uno de los proposiciones.
ejemplares del universo a) ∃x [ Qx → Px]
“Cualquier número natural mayor a 1, divide a 8”
b) ∃x [¬ Rx ∧ Px]
- Es falsa, pues no se satisface para al menos un ejemplar del
universo c) ∀x [ Px → ¬ Rx]

Demostración sistemática Demostración sistemática

„ Tome la siguiente inferencia: „ Para analizar esta inferencia, se procede a
– Cada ciudadano de Sonora es un ciudadano simbolizar con la notación ya aprendida,
de México. luego se añade una regla de supresión de
– El gobernador Bours es un ciudadano de los cuantificadores universales:
Sonora – Definiendo Sx como “x es un ciudadano de
– Por lo tanto, el gobernador Bours es un Sonora”; Mx como “x es un ciudadano de
ciudadano de México. México” y b como “gobernador Bours”, se
siguen la siguiente estrategia:

Demostración sistemática Demostración sistemática

„ Paso 1. Simbolización de las premisas „ Siguiendo ahora los tres pasos en el
„ Paso 2. Especificación de objetos para ejemplo anterior, se obtiene la deducción:
eliminar cuantificadores – (1) ∀x (Sx Æ Mx) P
„ Paso 3. Aplicar métodos de inferencia – (2) Sb P
proposicional para deducir una conclusión. – (3) Sb Æ Mb Especificar b para x
– (4) Mb Conclusión

10
 Demostración sistemática Demostración sistemática
Ejemplo:
„ La regla que permite especificar se „
– Cada número positivo es mayor que cero
denomina de especificación universal. Se – 1 es un número positivo
– 3 es un número positivo
puede prescindir del cuantificador y – Por tanto, 1 y 3 son mayores que 0

sustituir su variable por cualquier término; – (1) ∀x (Px Æ x > 0) P

por lo tanto, se especifica la variable al – (2) P1 P
(3) P3 P
sustituirla por el individuo que se elija.
–
– (4) P1 Æ 1 > 0 Poniendo 1 en vez de x
– (5) 1>0 De 2 y 4
– (6) P3 Æ 3 > 0 Poniendo 3 en vez de x
– (7) 3>0 De 3 y 6
– (8) (1 > 0) ^ (3 > 0) Conclusión, de 5 y 7

Ejercicio Ejercicio
„ Dar una deducción completa de las siguientes – Cada número par es divisible por dos
inferencias. – Diez es un número par
– Todos los perros son animales
– Ocho es un número par
– Lassie es un perro
– Por tanto, ocho y diez son divisibles por dos
– Por lo tanto, Lassie es un animal

– Ningún presidente de México fue un español – Ningún número es mayor que él mismo
– Lázaro Cárdenas fue un presidente de México – Tres es un número
– Por tanto, Lázaro Cárdenas no fue un español – Por tanto, tres no es mayor que tres

Ejercicio Ejercicio
– Para cada x, si x es un número, entonces x más uno es – Ninguna fracción es un entero
mayor que x – Cuatro es un entero
– Por tanto, cuatro no es una fracción
– Cuatro es un número
– Por tanto, cuatro más uno es mayor que cuatro – Todos los números negativos son menores que cero
– Seis no es menor que cero
– Todos los loros son pájaros – Por tanto, seis no es un número negativo

– Todos los pájaros son vertebrados

– Todos los diputados son o licenciados o miembros del partido
– Polly es un loro – El Sr. López trabaja en el DF, pero no es miembro del partido
– Por tanto, Polly es un vertebrado – Por tanto, si el Sr. López es diputado, es un licenciado

11
 Ejercicio
– Todo presidente es un Jefe de Estado nombrado por
elección
– Un Jefe de Estado no nombrado por elección es un
monarca
– El rey Balduino es un monarca
– Por tanto, el rey Balduino no es un presidente

– Ningún número impar es divisible por dos

– Seis es divisible por dos
– Ocho es divisible por dos
– Por tanto, ni seis ni ocho son números impares

12