You are on page 1of 14

PASO 7 – RESOLUCIÓN DE SITUACIONES PROBLEMICAS DEL MUNDO REAL DESDE

LA LÓGICA MATEMATICA

PRESENTADO POR:

KAREN LIZETH VILLAMIL. CODIGO: 99092814790

PRESENTADO A: MERICE HUERTAS BELTRAN

GRUPO: 200611A_154

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

PROGRAMA INGENIERIA DE TELECOMUNICACIONES

SOGAMOSO

2018
Contenido
INTRODUCCIÓN ..................................................................................................................3

OBJETIVOS ..........................................................................................................................4

GENERAL: ........................................................................................................................4

ESPECIFICOS: ..................................................................................................................4

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD ...................................................5

TAREA 2 – TEORÍA DE CONJUNTOS ................................................................................8

TAREA 3 – LEYES DE INFERENCIA................................................................................ 10

CONCLUSIONES ................................................................................................................ 12

BIBLIOGRAFIA .................................................................................................................. 13
INTRODUCCIÓN

Este trabajo usaré la metodología aprendida durante este proceso formativo para el desarrollo y

el fortalecimiento de las competencias interpretativas, argumentativas y propositivas, siendo

capaces de por medio de la estructuración de enunciados, resolver problemas del mundo real y

cotidiano. Dando así cumplimiento a todos los logros propuestos y aplicación de los

conocimientos de la Lógica Matemática.


OBJETIVOS

GENERAL:

 Utilizar los conceptos de la teoría de conjuntos, de la lógica proposicional y de la inferencia


lógica para plantear proceso operativo en la resolución de situaciones problémicas del
mundo real y cotidiano.

ESPECIFICOS:

 Identificar la información conocida y las incógnitas en un enunciado problémico.


 Plantear una estructura operativa para la resolución de las situaciones problémicas
planteadas en un contexto del pensamiento lógico y matemático.
 Encontrar la respuesta adecuada a una situación problémica dada utilizando el contexto de
la lógica matemática.
TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

 Definir si el argumento es una Tautología, contradicción o contingencia

C. {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q

PROPOSICIONES SIMPLES:

P → Estudio en la UNAD.

Q → Quiero pasar todos los créditos.

R → Tengo que pagar supletorios.

S → Tengo que repetir el semestre.

T → Pierdo el semestre.

LENGUAJE NATURAL:

 Estudio en la UNAD, entonces, quiero pasar todos los créditos o tengo que pagar
supletorios y tengo que repetir el semestre, entonces, no quiero pasar todos los créditos y
pierdo el semestre, entonces, no tengo que pagar supletorios y estudio en la UNAD y pierdo
el semestre, entonces, quiero pasar todos los créditos.

Es una Tautología.
(q∨ (s→∼ (t→ (p∧ p→(q p→(q∨r)]∧(s (t→∼r)∧( {[p→(q∨r)]∧(s→∼q)∧(t→∼r)
Q R S T r) q) ∼r) t) ∨r) →∼q) p∧t) ∧(p∧t)}→q
V V V V V V F F V V F F V
V V V V F V F V F V F F V
V V V F V V V F V V V F V
V V V F F V V V F V V V V
V V F V V V F F V V F F V
V V F V F V F V F V F F V
V V F F V V V F V V V F V
V V F F F V V V F V V V V
V F V V V V F F V V F F V
V F V V F V F V F V F F V
V F V F V V V F V V V F V
V F V F F V V V F V V V V
V F F V V F F F V F F F V
V F F V F F F V F F F F V
V F F F V F V F V F V F V
V F F F F F V V F F V V V
F V V V V V F F F V F F V
F V V V F V F V F V F F V
F V V F V V V F F V V F V
F V V F F V V V F V V F V
F V F V V V F F F V F F V
F V F V F V F V F V F F V
F V F F V V V F F V V F V
F V F F F V V V F V V F V
F F V V V V F F F V F F V
F F V V F V F V F V F F V
F F V F V V V F F V V F V
F F V F F V V V F V V F V
F F F V V F F F F V F F V
F F F V F F F V F V F F V
F F F F V F V F F V V F V
F F F F F F V V F V V F V
TAREA 2 – TEORÍA DE CONJUNTOS

La solución debe contener:


 Identificación de los conjuntos.
 Elaboración del Diagrama de Venn.
 Descripción de la solución del Problema.
 Argumentación de la validez de su respuesta.

A. El ICFES está realizando un análisis a los últimos resultados de las pruebas saber 11 en el
municipio de Palmira. Para la muestra se tienen 3332 estudiantes que presentaron la prueba,
el análisis consiste en saber la cantidad de estudiantes que estuvieron en un nivel muy
superior en la prueba, se tienen los siguientes datos:

 1446 estudiantes, obtuvieron calificación muy superior en Matemáticas y Química.


 1082 estudiantes, obtuvieron calificación muy superior en Historia y Química.
 1080 no obtuvieron calificación muy superior en Matemáticas
 1128 obtuvieron calificación muy superior en Química, pero no en Historia.
 239 estudiantes no obtuvieron calificación muy superior en las áreas analizadas.
 574 estudiantes obtuvieron calificación muy superior en Historia, pero no en
Matemática
 246 obtuvieron muy superior solo en Matemáticas
Se desea saber:
a) ¿Cuántos estudiantes obtuvieron calificación muy superior sólo en Historia y Matemáticas?
RESPUESTA: 246 Estudiantes.
b) ¿Cuántos estudiantes obtuvieron calificación muy superior en las tres áreas?
RESPUESTA: 319 Estudiantes.
c) ¿Cuántos estudiantes obtuvieron calificación muy superior solamente en Historia?
RESPUESTA: 2 Estudiantes.
d) ¿Cuántos estudiantes en total obtuvieron calificación muy superior en Química?
RESPUESTA: 1446+319+1080 = 2845 estudiantes.
TAREA 3 – LEYES DE INFERENCIA

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.


 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

3. La consejera académica de la UDR Cali, está realizando un acompañamiento a un estudiante del


programa de ingeniería industrial, ella le quiere hacer entender que es muy importante ser
responsable para obtener buenas calificaciones, por eso le da el siguiente consejo: “Si Carlos
repasa el contenido del curso, entonces estará preparado para el examen o Carlos se va de fiesta.
Si Carlos se va de fiesta, entonces no repasa el contenido del curso. Ocurre que Carlos repasa el
contenido del curso y llegará con los temas aprendidos. Por consiguiente, Carlos está preparado
para el examen y llegará con los temas aprendidos”.

SOLUCIÓN:
PREMISAS:

PREMISA 1 p→q V r
PREMISA 2 r→¬p
PREMISA 3 pΛs
CONCLUSIÓN: qΛs
PREMISA 4 s simplificación 3
PREMISA 5 p simplificación 3
q V r Modus Ponendo Ponens
PREMISA 6 1,5
PREMISA 7 ¬ r Modus Tollendo Tollens 2,5
PREMISA 8 q Modus Tollendo Ponens 6,7
PREMISA 9 q Λ s Adjunción 8,4
CONCLUSIONES

 Como estudiante logre comprender y aplicar adecuadamente los elementos y propiedades


operativas de conjuntos en la solución de problemas debidamente.

 Con la solución de los problemas planteados logre aprender a interpretar el lenguaje


simbólico relacionarlo con el natural y creo que me servirá para la aplicación de este
conocimiento en la estructuración de proposiciones matemáticas argumentadas.

 Identifique la información conocida y las incógnitas en un enunciado problémico.

 Participe activamente en el foro colaborativo.


BIBLIOGRAFIA

 Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo


Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&
ppg=30
 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.
151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=1
1046000&tm=1489704594878
 Argoty, L. (2015). Repaso Lógica Matemática. Recuperado
de http://erenriquez.net/largoty/Ova01MD/
 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación
media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=10
345286&tm=1492518671601
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.
Recuperado de http://hdl.handle.net/10596/7961
 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado
dehttp://hdl.handle.net/10596/13871
 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069
 Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En ProQuest
ebrary (Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp. 24 – 34). Córdoba,
Argentina: El Cid Editor. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=10
075782&tm=1489706755797
 Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba,
AR: El Cid Editor. Páginas 24 – 34. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=10
075782&tm=1492518991513
 Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30).
México, D.F., México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11
046169&tm=1489706134764
 Sánchez, H. R. (2014). Álgebra. México, D.F., MX: Larousse - Grupo Editorial Patria.
Páginas 2- 30. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11
046169&tm=1492518830144
 Gonzáles, T. L., & Saavedra, M. (2009). "Teoría de Conjuntos". En ProQuest ebrary
(Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24). Bogotá,
Colombia: Educar Editores S.A. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=10
345286&tm=1489708381971
 Argoty, L. (2015).Teoría de conjuntos. Recuperado
de http://erenriquez.net/largoty/Ova02MD/
 Colegio24hs (2004). Silogismos y falacias. (pp. 27-34) Buenos Aires:
Colegio24hs. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=27&docID=3
157595&tm=1511207573036
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. Páginas 80- 84 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=11
230887&tm=1496180214861
 Castaño, G. (2017). Teoría de conjuntos, [Video]. Recuperado
dehttp://hdl.handle.net/10596/13870
 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069
 Lewin, R. (2011). La teoría de conjuntos y los fundamentos de la matemática. Chile:
Editorial ebooks Patagonia - J.C. Sáez Editor.
Recuperadohttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&do
cID=10526962&tm=1491863246945