INSTITUTO POLITÉCNICO NACIONAL

“ESCOM”

MATERIA:

MATEMATICAS DISCRETAS

NOMBRE DEL PROFESOR:

REYES BERMEJO TLATOANI DE JESUS

ALUMNOS:

REYES SORIANO OSCAR

MIRANDA QUINTERO DIEGO ARMANDO
VILLUENDAS PEREZ REY DAVID
FUENTES ARTEAGA DELIA

GRUPO:
1CM3

PRACTICA DE ALGREBA DE CONJUNTOS

 INTRODUCCION

Tanto en la vida diaria como en áreas de investigación, el hombre ha ido

evolucionando gracias a sus ideas y razonamientos, un ejemplo es el manejo
de la información, gracias a está a conseguido comprender mejor su entorno,
pero está a su vez puede ser manipulada y llegar a no ser verídica. Utilizando
los métodos de inferencia lógica podemos encontrar las conclusiones validas o
los errores que se presentan en los argumentos que escuchamos o decimos.
Los argumentos basados en tautologías, representan métodos de razonamiento
que son universalmente correctos. Su validez depende solamente de la forma
de las proposiciones que intervienen y no de los valores de verdad de las
variables que contienen. A esos argumentos se les llama reglas de inferencia,
estás permiten relacionar dos o más Tautologías e hipótesis en una
demostración Matemática.
Construyendo diferentes argumentos en base a preguntas planteadas entorno a
la película “Quisiera ser Millonario” se analizará su validez a la serie de
proposiciones que los conforma utilizando las reglas de Inferencia Lógica para
llegar a su respectiva conclusión partiendo de las premisas.

OBJETIVO

Poner en practica lo aprendido en clase sobre lógica, y ser capaces de

encontrar premisas de un enunciado.

RESUMEN

Una proposición es una oración declarativa o un enunciado q afirma algo q es

verdadero o falso pero no ambos. A la veracidad o falsedad de una
proposición se le llama valor de verdad.

Proposiciones simples: son aquellas que no hay formas de descomponerlas a

algo mas sencillo para formar otra.

Proposiciones compuestas: son aquellas q se forman al negar una proposición.

 MARCO TEÓRICO

El algebra de proposiciones es fundamental en la lógica matemática que no es

mas una relación entre las premisas (son expresiones lingüísticas que afirman
o niegan algo y pueden ser verdaderas o falsas.) y la conclusión expresada a
través de una serie de símbolos matemáticos y/o auxiliares llamados
enunciados.

Para su estudio, se divide en lógica formal, lógica aplicada y lógica simbólica

y para este caso nos enfocaremos más en la lógica simbólica. La lógica
simbólica es aquella que se refiere a las proposiciones y que también se
conoce con el nombre de Calculo Proporcional.

Veremos las proposiciones simples o atómicas: son aquellas que constan de un

solo enunciados y las proposiciones compuestas o moleculares: son las que
constan de dos o más proposiciones simples entrelazadas por ciertas
particularidades lógicas llamadas conectivos lógicos.

Utilizaremos los CONECTIVOS LOGICOS para formar proposiciones

compuestas: NO, Y, Ó, SI ENTONCES y SI SOLO SI y claro utilizaremos
las TABLAS DE VERDAD

DESARROLLO

1.-Si a Jamal le preguntan ¿qué famoso poeta indio compuso la canción

“darshan do dhanshian”? , entonces Jamal recuerda que se aprendió la canción
“darshan do dhanshiam “ del famoso indio susdas, entonces Jamal sabe q
susdas es la respuesta correcta por lo tanto si a Jamal le prejuntan ¿Qué
famoso poeta indio compuso la canción darshan do shanshyam”? entonces
Jamal sabe que zurdas es la respuesta correcta.

P: A Jamal le preguntan ¿ que famoso poeta indio compuso la canción

“darshan do shanshyam”?
q: Jamal recuerda que se aprendió la canción “darshan do shanshyam” del
famoso poeta

r: Jamal sabe que zurdas es la respuesta correcta

p q
q r
-----------------
:. P r

Dem.
(1) p → q premisa
(2) ┐p v q por condicional
(3) q → r premisa
(4) ┐q v r por condicional
(5) (┐p v q)^ (┐q v r) conjunción (2)(4)
(6) ┐p v (q ^ ┐q) v r por asociatividad
(7) (┐p v q) v r por asociatividad
(8) ┐p v r ley de identidad
(9) p → r por condicional q.e.d.

2.- Si a Jamal le preguntan ¿quién fue la estrella de la exitosa película

“zanjeer” , de 1793? y Jamal recuerda que cuando era niño, era fan de la
famosa estrella de la película zanjeer , a Jamal le preguntan ¿Quién fue la
estrella de la película zanjeer, de1973? Entonces si Jamal recuerda que cuando
era niño, era fan de la famosa estrella de la famosa película zanjeer, entonces
Jamal sabe la respuesta correcta es amitabh bachchan. Por lo tanto Jamal que
sabe la respuesta correcta es amitabh bachchan

p: A Jamal le preguntan ¡quién fue la estrella de la exitosa película zanjeer de

1973?

q: Jamal recuerda que cuando era niño, era fan de la famosa estrella de la
película zanjeer.

r: Jamal sabe que la respuesta correcta es amitabh bachchan

p^q
p → (q → r)
----------------
:. r

Dem.

(1) p ^ q premisa
(2) p simplificación conjuntiva
(3) p → (q → r ) premisa
(4) q → r modus ponens (3) y (2)
(5) q simplificación conjuntiva
(6) r modus ponens (4) y (5) q.e.d.

3.- Si a Jamal le preguntan ¿quién invento el revolver ? entonces Jamal

recuerda, que Salim le dijo el modelo Colt 45 de un revolver. Samuel Colt es
una de las posibles respuestas, entonces Jamal sabe que Samuel Colt es la
respuesta correcta. A Jamal le preguntan ¿quién invento el revolver ? Samuel
Colt es una de las posibles respuestas. Por lo tanto Jamal sabe que Samuel
Colt es la respuesta correcta .

P: a Jamal le preguntan ¿quién invento el revolver?

q: Jamal recuerda, que Salim le dijo el modelo Colt 45 de un revolver

r: Samuel Colt es una de las posibles respuestas

s: Jamal sabe que Samuel Colt

p→q
r→s
r
-------------
:. S

Dem.

(1) p → q premisa
(2) p premisa
(3) q modus ponens
(4) r → s premisa
(5) r premisa
(6) s modus ponens (4) y (5)
(7) s ^ q conjunción
(8) s simplificación conjuntiva q.e.d.

CONCLUSION

Observamos que la demostración formal de la validez de un argumento, se

hace exclusivamente analizando su forma e indicando cuáles son las leyes
lógicas que justifican las conclusiones.
Así que si construimos un buen argumento podemos llegar a las conclusiones
verdaderas que si, por lo contrario un mal argumento, nos presentará un
camino mas largo hacia el camino del conocimiento verdadero.
 BIBLIOGRAFIAS

1. Autor/es: Prof. Víctor Enríquez rojas, Recursos matemáticos: “Algebra

de proposiciones”, Archivo PDF; 18-Marzo-2009

2. Autor/es: Alberto, Malva ; Schwer, Ingrid ; Cámara, Viviana ; Meinero,

Silvina ; Fumero, Yanina; “Matemática discreta: con aplicaciones a
las ciencias de la computación”, Santa Fé : Ediciones UNL, 2004

3. Autor/es: Ferrando, J.C. ; Gregori, V. “Matemática discreta” 2ª ed. ;

Publicación Barcelona : Reverté, 1995