PENSAMIENTO LGICO Y MATEMTICO

Paso 4 - Resolucin de situaciones problmicas del mundo real desde la Lgica

Matemtica (Examen Nacional por ABP).

Presentado por:

Gladis Yesenia Perea Palacios

Cdigo 1076382578

Presentado a:

Yady Milena Camacho

Nmero de grupo: 750

UNIVERSIDAD NACIONAL ABIERTAS Y A DISTANCIA (UNAD)

Escuela De Ciencias Sociales Artes Y Humanidades

Programa de psicologa

FECHA: 00/12/2016
Objetivo General
Utilizar los conceptos de la teora de conjuntos, de la lgica proposicional y de la inferencia
lgica para plantear proceso operativo en la resolucin de situaciones problmicas del mundo
real y cotidiano.

Objetivos Especficos
Identificar la informacin conocida y las incgnitas en un enunciado problmico.

Plantear una estructura operativa para la resolucin de las situaciones problmicas

planteadas en un contexto del pensamiento lgico y matemtico.

Encontrar la respuesta adecuada a una situacin problmica dada utilizando el

contexto de la lgica matemtica.
 Introduccin
La realizacin de este trabajo me permiti aplicar todos los temas visto y aprehendidos en
desarrollo de este curso de Pensamiento Lgico Matemtica, con diversos tipos de problemas
pude poner a prueba mis capacidades frente a problemas ms complejos. Para la elaboracin
de estos ejercicios utilice herramientas que me permitieron adquirir habilidades paracompre
nder los conectivos lgicos que usamos diariamente en nuestro lenguaje y que pocas veces
nos detenemos a analizar y comprender.

Adems de utilizar herramientas como el diagrama de venn que es una representacin

grfica, normalmente valos o crculos, que muestra las relaciones existentes entre los
conjuntos. Cada valo o crculo es un conjunto diferente. La forma en que esos crculos se
sobreponen entre si muestra todas las posibles relaciones lgicas entre los conjuntos que
representa. Por otra parte, el simulador TRUTH es un simulador de tabla de verdad con el fin
de sistematizar el lgebra proposicional y demostrar la construccin de las mismas, conforme
a lo definido en el valor de verdad de las proposiciones compuestas bsicas: conjuncin,
disyuncin, condicional y bincondicional, como apoyo tecnolgico en el desarrollo de los
problemas planteados.

.
ANEXO 1
SITUACIONES PROBLMICAS DE LA OPERATIVIDAD ENTRE CONJUNTOS
Proceso de solucin de una situacin problmica de la teora de conjuntos
1.Se pregunt a 50 docentes de la ECBTI sobre los deportes que practicaban, obtenindose
los siguientes resultados: 20 practican solo futbol, 12 practican futbol y natacin y 10 no
practican ninguno de estos deportes. Con estos datos averigua el nmero de docentes que
practican natacin, el nmero de ellos que solo practican natacin y el de los que practican
alguno de dichos deportes.

U=50

u=50 Futbol Natacin

Natacin
F=20
F N=12
20
a) N=20 Docentes 12 8
b) N-F=8 Docentes
c)N + F=40

Ningn de estos deporte

10
ANEXO 2
SITUACIONES PROBLMICAS DE ENUNCIADOS TIPO FALACIA
Identificar todas las expresiones que considera son proposiciones lgicas simples y
tambin las expresiones que no son proposiciones. El siguiente paso es identificar
proposiciones compuestas. Para lograr esta identificacin, conviene reescribir el texto
resaltando los conectivos lgicos que no estn explcitos en la expresin. Declarar las
proposiciones simples, asignando una de las ltimas letras del alfabeto para
identificarlas. Finalmente, expresar en lenguaje simblico las proposiciones simples,
compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de
verdad es tautologa, contradiccin o contingencia. Adems, adjuntar pantallazo del
uso del simulador de Tablas de Verdad.
Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son acogidos
por la Protectora. Pero el perrito es abandonado, tambin el caballo. Luego, tanto el perrito
como el caballo son acogidos por la Protectora.
Declarar proposiciones simples:
-p el perrito, el gato
-q el caballo
-r como mascotas son abandonados
-s son acogidos por la protectora
Declarar las Premisas
Premisa 1: Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces
son acogidos por la Protectora
Premisa 2: Pero el perrito es abandonado, tambin el caballo
Conclusin: Luego, tanto el perrito como el caballo son acogidos por la Protectora.

Declarar las Premisas en lenguaje formal:

premisa 1: (p s)
premisa 2: (q r )
Conclusin: q s

Declarar el razonamiento en lenguaje formal

[(p s) (q r)] q s
P q r S p q r s p s qr [(p s) (q r)] [(p s) (q r)] q s
V V V V F F F F V V V V
V V V V F F F F V V V V
V V V F F F F V F V F V
V V F F F F V V F F F V
V F F V F V V F V V V V
V F F V F V V F V V V V
F F V F V V F V V V V V
F F V F V V F V V V V V
F V V V V F F F V V V V
F V F V V F V F V F F V
F V F F V F V V V F F V
F V F F V F V V V F F V

Tautologa
ANEXO 3
SITUACIONES PROBLMICAS DE LA LGICA PROPOSICIONAL
Identificar (del texto dado), los razonamientos lgicos inductivos y deductivos, y en ellos
el tipo de razonamiento. A partir de los razonamientos propuestos para el texto,
responder la pregunta: Se verifica la conclusin propuesta? Y presentar argumentos
que permitan respaldar veracidad a la respuesta dada. Es decir, a partir de las tablas
de verdad y las leyes de inferencia demostrar la validez o no del razonamiento. Adems,
adjuntar pantallazo del uso del simulador de Tablas de Verdad.
11. En una actividad ldica para los estudiantes de un colegio, realizan la bsqueda de un
tesoro, la idea es que el estudiante que participe descubra una nota escrita por el profesor,
quien por su sentido creativo estructura los acertijos lgicos para la prueba. En la nota dice
que ha escondido un tesoro en algn lugar de la casa campestre donde se encuentran. El
profesor enumera cinco enunciados todos ellos verdaderos y reta a los estudiantes a que
descubras dnde est el tesoro. He aqu los enunciados:
a. Si la casa est cerca de una piscina, el tesoro no est en la cocina.
b. Si el rbol de la entrada es un pino, el tesoro est en la cocina.
c. La casa est cerca de una piscina.
d. El rbol de la entrada es un pino o el tesoro est enterrado debajo de la bandera.
e. Si el rbol de la entrada es un eucalipto, el tesoro est en el garaje.
Dnde est el tesoro? El estudiante ganador ser quien responda que est enterrado debajo
de la bandera.
Solucin
Declarando de las proposiciones
p: la casa est cerca de una piscina
q: el tesoro est en la cocina
r: el rbol de la entrada es un pino
s: el tesoro est enterrado debajo de la bandera
t: el rbol de la entrada es un eucalipto
u: el tesoro est en el garaje
premisa 1: Si la casa est cerca de una piscina, el tesoro no est en la cocina.
premisa 2: Si el rbol de la entrada es un pino, el tesoro est en la cocina.
premisa 3: La casa est cerca de una piscina.
premisa 4: El rbol de la entrada es un pino o el tesoro est enterrado debajo de la bandera.
Premisa 5: Si el rbol de la entrada es un eucalipto, el tesoro est en el garaje.
Conclusin: El tesoro est enterrado debajo de la bandera.
Proposicin compuesta.
[(p ~q) ^ (r q) ^ (p) ^ (r o s) ^ (t u)] s

reglas de inferencia
premisa 1: p q
premisa 2: r q

3. p q modus ponendo ponens PP (1),(3)

4 p ~q modus tollendo tollens TT (2),(6)
5 r V s modus tollendo pones TP (4), (7)

Conclusin s . Valido
ANEXO 4
SITUACIONES PROBLMICAS DE SILOGISMOS CATEGRICOS
identificar en dicho silogismo las diferentes proposiciones categricas, y proponer una
representacin mediante Diagramas de Venn de las diferentes relaciones entre las
clases implicadas, segn las proposiciones categricas:
16. Ningn hroe es cobarde.
Algunos soldados son cobardes.
Por lo tanto, algunos soldados no son hroes.
Solucin
Primera Premisa: Ningn hroe es cobarde.

Segunda Premisa: Algunos soldados son cobardes.

Conclusin: Algunos soldados no son hroes.
ANEXO 5
SITUACIONES PROBLMICAS DE LA VALIDEZ DE RAZONAMIENTOS
LGICOS
identificar, clasificar y explicar las diversas falacias de lenguaje contenidas en las
siguientes expresiones y el tipo de razonamiento que se utiliza.
21. El profesor de guardia sorprende a Silvia fumando un cigarro, y la pide que lo tire, puesto
que no se puede fumar en el instituto. Silvia contesta indignada, que no hay derecho a
obligarla a apagar el cigarro, ya que muchos profesores fuman. Est justificada la
indignacin de Silvia? Est razonando falazmente? Si es as, indica en qu tipo de falacia
se basa su indignacin.
R/Es una falacia no formal de tipo falacia ad hominem
Razonamiento que en vez de presentar razones adecuadas para rebatir una determinada
posicin o conclusin se ataca o desacredita a la persona que la defiende.
 Conclusiones
El razonamiento lgico se puede iniciar a partir de una observacin, es decir, una experiencia
o de una hiptesis. El proceso mental de anlisis puede desarrollarse de distintas maneras y
convertirse en un razonamiento inductivo, un razonamiento deductivo, etc. Segn la clase de
razonamiento empleada, la conclusin tendr mayor o menor posibilidad de resultar vlida.
La conclusin encuentra su base en las premisas iniciales: el razonamiento lgico es el
camino que vincula ambas partes. El resultado del razonamiento tendr un cierto grado de
probabilidad en cuanto a su veracidad, siempre que los razonamientos lgicos sean vlidos
 Bibliografa

Zazueta B. L. Clix L. C. (2008). Lgica I. Primera Edicin. Mxico Universidad

Autnoma de Sinaloa. Pginas 12 59. Recuperado de http://hdl.handle.net/10596/7966
Ferrando, J., & Gregori, V. (2012). Teora de conjuntos. Matemtica discreta (2a. ed.). (pp.
33-78). Barcelona, ES: Editorial Revert. Recuperado de http://www.ebrary.com

Argoty, L. (2015).Teora de conjuntos. Recuperado de

https://afe4584d30f5884401f32b2b02b2ca7e26974235.googledrive.com/host/0By7BIcHpF
SDONjZjVkljY2xkaTg/index.html
Cortes Orozco, J (2016). Teora de conjuntos. Recuperado de:
http://hdl.handle.net/10596/6557
Guerrero, S. L. M. (2005). Matemticas. Sus fundamentos en secuencia ptima. Crdoba,
AR: El Cid Editor. Pginas 24 34. Recuperado de: http://hdl.handle.net/10596/6537

Escobar, M. R. (2010). Elementos de matemticas para la administracin. : Elibro. Pginas

7 87. Recuperado de: http://hdl.handle.net/10596/6545

Snchez, H. R. (2014). lgebra. Mxico, D.F., MX: Larousse - Grupo Editorial Patria.
Pginas 2- 30. Recuperado de: http://hdl.handle.net/10596/6546

Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la educacin
media. Bogot, CO: Educar Editores S.A. Pginas 20 -24 Recuperado de:
http://hdl.handle.net/10596/6550