Você está na página 1de 12

Introducción

„ El cálculo de predicados analiza la


estructura lógica de las proposiciones
Cálculo de predicados 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

M.S.I. David Picazo Z.

Introducción Introducción
„ Parece, efectivamente, ser un razonamiento „ Por otra parte, se puede simbolizar este
correcto. Se puede escribir en la forma general razonamiento como se ha hecho anteriormente:
p= Todos los pájaros son animales
siguiente:
q= Todos los ruiseñores son pájaros
– Premisa: Todos los P son A r= Todos los ruiseñores son animales
– Premisa: Todos los R son P
p Premisa
– Conclusión: Todos los R son A
q Premisa
„ Sean A, B y R objetos cualesquiera libremente r Conclusión
elegidos. Siempre que las premisas sean ciertas
No se puede deducir r de p y q mediante las reglas
se encontrará una conclusión cierta. consideradas hasta ahora

Ejercicio 1 Ejercicio 1
„ En los razonamientos siguientes tanto las „ Todas las ranas son anfibios
Todos los anfibios son vertebrados
premisas como las conclusiones son „
„ Por tanto, todas las ranas son vertebrados
proposiciones simples. A pesar de que las
conclusiones no pueden deducirse con los „ Algunos estudiantes estudian Lógica
métodos y reglas que se conocen hasta ahora, „ Todos los estudiantes que estudian Lógica conocen el término
algunos de los razonamientos son válidos y otros “premisa”
Por tanto, algunos estudiantes conocen el término “premisa”
no. „

„ Leer los razonamientos e indicar si la conclusión „ Todos los árboles de nuestro jardín pierden las hojas en otoño
parece deducirse o no de las premisas. (no se „ Ningún pino pierde sus hojas en otoño
confunda la verdad de hecho y la validez lógica) „ Por tanto, algunos de los árboles de nuestro jardín son pinos

1
Ejercicio 1 Ejercicio 1
„ Todos los reptiles son animales de sangre fría „ Todo objeto que emite luz a causa de la energía de sus partículas es un
cuerpo luminoso
„ Todos los caracoles son animales de sangre fría
„ La Luna no es un cuerpo luminoso
„ Por tanto, todos los caracoles son reptiles „ Por tanto, la Luna es un objeto que emite luz a causa de la energía de sus
partículas
„ Todos los amigos de Pedro son chicos que juegan al básquetbol
„ Platón fue un filósofo griego
„ Todos los chicos que juegan al básquetbol son altos
„ Algún filósofo griego fue ciudadano de Atenas
„ Por tanto, todos los amigos de Pedro son altos „ Por tanto, Platón fue ciudadano de Atenas

„ Algunas figuras de este papel son pentágonos „ Ningún perro es anfibio


„ Todos los pentágonos tienen cinco lados „ Koko es un perro
„ Por tanto, Koko no es anfibio
„ Algunas figuras de este papel tienen cinco lados

Ejercicio 2 Ejercicio 2
Todos los miembros del equipo ganaron en sus pruebas
„ Sugerir una conclusión que se piense que „
„ Todos los que ganaron en sus pruebas recibieron medalla
podría ser consecuencia de las premisas
Ninguna proposición simple contiene conectores
dadas en cada uno de los ejercicios „
„ Esta proposición es una proposición atómica
siguientes, aunque no se pueda de
momento probar que la conclusión es „ Toldos mis amigos esperarán la entrevista
„ Juan es uno de mis amigos
válida. (también aquí lo que se pide es lo
que parece deducirse) „ Ningún miembro del comité está presente
„ Todas las personas directamente afectadas por la decisión
están presentes.

Términos Términos
„ Empezaremos el análisis de las „ De estas proposiciones los términos son
proposiciones simples buscando lo que las palabras “María”, “Juan”, “este libro”,
son términos. Se consideran las “dos” y “tres”. Estos ejemplos sugieren
proposiciones: una definición elemental:
– María está ausente – Un término es una expresión con la que se
– Juan va despacio nombra o se designa un único objeto
– Este libro es rojo
– Dos es menor que tres

2
Término Término
„ Obsérvese que un término no ha de ser „ Algunos términos son nombres y algunos son
descripciones que se refieren a un individuo u
necesariamente un nombre como “María”
objeto. Consideremos las proposiciones:
o “Juan”. Un término puede ser también – Brasil es el mayor productor de café del mundo
una frase, como “este libro”, “3+2” o “el – Este libro es demasiado pesado
– 1+1 = 2
primer presidente de México”. Que se
„ En estas proposiciones se tienen como nombres
refiere a un individuo o cosa particular. “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”

Término Ejercicio
„ Obsérvese que se considera la frase “1+1” „ Señalar los términos en las proposiciones
una descripción que se refiere al número 2 siguientes:
– Este ejercicio es muy fácil
y el número “2” un nombre del número 2.
– China es el país más poblado del mundo
„ Igual que un nombre, una descripción que – El juego empezará pronto
es un término, identifica a una persona o – 5+4=3+6
cosa particulares. – Juan es el presidente de nuestra clase
– Mi ejercicio de matemáticas fue suspendido
– París es la capital de Francia

Ejercicio Predicados
„ En las proposiciones siguientes, señalar de „ Consideremos la proposición:
forma distinta los términos que son nombre y los – Sócrates es sabio
que son descripciones
„ De la discusión anterior se sabe que
– El continente africano es mayor que el continente de
Australia “Sócrates” es un término. Qué se puede
– La raíz cuadrada de 25 es 5 decir de la frase “es sabio”?. No es un
– Juan es el corredor más rápido del equipo término, pero dice algo sobre Sócrates. La
– Susana es ponente en la sesión de hoy frase “es sabio” es un predicado
– Este libro es muy informativo

3
Predicados Predicados
„ Normalmente, en proposiciones simples el „ Ejemplos:
sujeto de la proposición es un término y el – Juan es nadador
– María canta
predicado es el resto de la proposición que
– Susana está triste
dice algo sobre el sujeto. En el ejemplo, el
– José corre deprisa
término “Sócrates” es el sujeto de la
„ Se pueden distinguir los términos. Los
proposición, y la frase “es sabio” es el predicados también aparecen claramente. Son
predicado que dice algo sobre Sócrates “es nadador”, “canta”, “está triste”, y “corre
deprisa”.

Predicados Predicados
„ Se trata de ver cómo se pueden simbolizar „ Sea “F” el predicado “canta” y m =
estas proposiciones. Sea “S” el predicado “María”. Entonces se puede simbolizar la
“es nadador” y sea j=Juan. Entonces se frase “María canta” por:
puede simbolizar la proposición “Juan es
nadador” por:
Fm
Sj

Ejercicio Nombres comunes como predicados


„ Simbolizar las siguientes proposiciones: „ Considérese:
– El rayo de luz se refracta – Sócrates es un hombre
– El gentío se dispersó rápidamente
„ “Sócrates” es un término. Se puede pensar que
– Una fina brisa sopla
también “hombre” es un término, pero no identifica
– El Gato Chester hace muecas una persona o cosa particular. En gramática,
– El río Conchos se desborda “hombre” es un nombre común. En lógica es
– Susana anda graciosamente conveniente dejar que nombres comunes sirvan
– Juan entra como partes del predicado, y el nombre común
– El Sr. López guisa “hombre” por sí mismo no es un término.
– Jorge está esperando pacientemente

4
Nombres comunes como predicados Términos y predicados
„ Algunas otras proposiciones en las que nombres „ En resumen, recuérdese que términos son
comunes sirven como partes de predicados son: expresiones que nombran o describen
– Chicago es una ciudad
algún objeto único.
– Einstein fue un científico brillante
– Marte es un planeta „ Los predicados no nombran objetos pero
„ En estas tres proposiciones los nombres dicen algo acerca de ellos.
comunes “ciudad”, “científico” y “planeta” con
partes de los predicados.

Términos y predicados Términos y predicados


„ Es natural decir que los predicados „ Por lo tanto, los nombres comunes pueden ser
también describen objetos. En lógica, también partes de términos cuando describen
una cosa particular. Por ejemplo “esta niña”, o
cuando se dice que un término describe
“el primer chico de la fila”. Los predicados, por
un objeto, se piensa que esa descripción
otra parte, sólo describen objetos parcialmente.
se sabe exactamente que objeto es. Un De la proposición “María canta” se sabe algo
término describe completamente un sobre María por el predicado, pero sólo del
objeto. Identifica aquel objeto particular. predicado no se podría deducir que la
proposición se refiere a María.

Anotar las proposiciones en las que hay nombres comunes.


Ejercicio
„
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
„ Cuáles son los nombres comunes en las términos.
proposiciones siguientes? – Luis actúa muy rápidamente
– Julio es un estudiante – Javier es un hombre al que le gustan los libros
– José ha leído rápidamente
– Azul y amarillo son colores complementarios
– Estos volúmenes son libros de consulta
– Esta anémona marina es un animal – Venus es un planeta
– Estos pinos de Creel son árboles perennes – Este reloj funciona continuamente
– Aquella planta es un vegetal
– María es una enfermera – Este paquete contiene ropa
– El Sr. Pérez es un contador – 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 Cuantificador universal
„ Consideremos la fórmula simple: „ La frase “Para cada x” es un cuantificador
– x es alto universal. Se denomina así porque utiliza
„ En vez de sustituir “Fox” por “x”, se puede decir la variable “x” para afirmar que cada cosa
“Todo es alto”, la cual es una proposición falsa. en el universo tiene una cierta propiedad;
En vez de escribir “Todo es alto” se puede
en el caso presente de la propiedad de ser
escribir “Cada x es alto”. En lógica se
acostumbra a expresar la proposición en esta alto.
forma:
– Para cada x, x es alto

Cuantificador universal Cuantificador universal


„ Considere la fórmula aritmética: „ El símbolo para el cuantificador universal es una
– Para cada x, x > 0 “A” al revés, y se simboliza la anterior
proposición como:
„ 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 ( x) (x > 0)
que 0, pero el numero -1 no lo es, y por tanto la
proposicion es falsa. „ 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 Ejercicio
„ Simbolice con lógica predictiva las „ Simbolizar las proposiciones con lógica
siguientes proposiciones: predictiva:
– Todos los gatos tienen garras – Para cada x, x tiene un nombre
– Cada gato tiene garras
– Cada cosa está sujeta a cambio
– Para cada x, x es sabio
– Nada es absolutamente frío
– Cada uno es sabio
– No todas las cosas son bonitas
– Nada es absolutamente malo
– Nadie es un tonto
– Para todo x, x no es absolutamente malo

7
Simbolización de proposiciones típicas Simbolización de proposiciones típicas

„ Proposiciones típicas del tipo: „ Se traduciría la proposición en la forma:


– Cada hombre es un animal (1) – Para cada x, si x es un hombre, x es un
„ Tienen dos nombres comunes. Ninguno de animal (2)
ellos se usa para construir un término y, „ En esta última forma, se utiliza el término
por tanto, hay dos predicados en esta de enlace “si..entonces..” Simbolizando:
proposición: “es un hombre” y “es un ( x) (Hx Æ Ax)
animal”

Simbolización de proposiciones típicas Simbolización de proposiciones típicas

„ La proposición “cada hombre es un „ El motivo es que si los nombres comunes han de


animal” en lógica proposicional se ser tratados como predicados, este tipo de
proposiciones (1) expresa una relación entre
traduciría como una proposición simple,
hombres y animales en la forma de una
mientras que “Para cada x, si x es un
proposición simple. Cuando esta relación ha de
hombre, x es un animal”, utiliza el término ser expresada por predicados completos de
de enlace proposicional “si...entonces...”. manera que se pueda simbolizar, es necesario
utilizar un término de enlace proposicional para
expresarla (2).

Simbolización de proposiciones típicas Ejercicio


„ Elúnico término de enlace proposicional „ Simbolice las siguientes proposiciones:
que puede usar en (2) es el “si..entonces..” – Ningún hombre es inmortal
„ Estas proposiciones son un ejemplo típico – No toda mujer tiene el pelo largo
– Todo árbol es una planta
de proposiciones de la forma “Cada tal-y-
– Si algo es un árbol entonces es una planta
tal es esto-y-esto”
– 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