Unidad 3: métodos para probar la validez de argumentos.

MÓNICA EDITH GELVEZ CORREA

Cód: 1.093.736.594
GRUPO # 200611_201

Trabajo presentado a:
Presentado a:
John Alexander Guevara
Tutor

Pensamiento lógico y matemático

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de Ciencias Sociales, Artes y Humanidades Programa de Psicología

Julio

2018
 INTRODUCCION

El presente trabajo se realiza como requisito del Paso 7 Resolución de situaciones

problémicas del mundo real desde la Lógica Matemática del curso pensamiento lógico y
matemático, el desarrollo de las actividades pretende la apropiación de conceptos básicos y
generales sobre lógica proposicional, tablas de verdad en proposiciones compuestas, las
reglas de inferencia lógica, argumentos lógicos, proposiciones simples y compuestas,
.tautologías, contradicciones y contingencias, operaciones con conjuntos, entre otros.
OBJETIVOS
GENERAL:
∞ Comprender y aplicar los conceptos de Pensamiento Lógico Matemático a través de la
realización de ejercicios y situaciones problémicas del mundo real desde la Lógica
Matemática.

ESPECIFICOS:
∞ Identificar el marco conceptual de los métodos para probar la validez de argumentos.

∞ Aplicar el bagaje conceptual adquirido en el curso pensamiento lógico-matemático en

Resolución de situaciones problémicas del mundo real desde la Lógica Matemática

∞ Comprender los elementos y las propiedades operativas de la teoría general de conjuntos

en la solución de problemas debidamente contextualizados.

∞ Aplicar los conocimientos adquiridos en el curso en la elaboración de expresiones del

lenguaje simbólico y del lenguaje natural de proposiciones y expresiones matemáticas.

∞ Identificar y aplicar las reglas de inferencia lógica por inducción y deducción en la

resolución de situaciones específicas del mundo real.
 ACTIVIDADES A DESARROLLAR

Plan de acción

Actividades a desarrollar

 Tarea 1: Proposiciones y tablas de verdad

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas
simbólicamente para llevarlas al lenguaje natural.

 Definición de las proposiciones simples

A. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)

𝒑: Vivo en Saravena
𝒒: Arauca es llanera
∼ 𝒒: Arauca no es llanera

r: Estudio en la UNAD
∼ r: No estudio en la UNAD

s: Julio es el séptimo mes del año.

 Lenguaje natural de la expresión formal: Si vivo en Saravena, entonces Arauca no es

Llanera. Y si no estudio en la UNAD entonces Julio es el séptimo mes del año. Además
estudio en la UNAD entonces vivo en Saravena. Entonces Arauca no es llanera o Julio es el
séptimo mes del año.
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 El argumento es válido, es una Tautología.

 Tarea 2: Teoría de Conjuntos

A. Un laboratorio farmacéutico desea saber qué tipo de medicamentos usan las personas de un
pueblo del Valle del Cauca para tratar un problema de gripa con tos seca. Para ello se dispuso una
encuesta en varias droguerías del pueblo y se obtuvieron los siguientes datos: Un total de 109
encuestados toman el jarabe “Abrilar”; 115 encuestados toman el jarabe “Mieltertos”; un total de
88 encuestados manifestaron que prefieren los “remedios caseros”; 15 encuestados manifestaron
que solamente toman “Abrilar” y “remedios caseros”; 12 encuestados manifestaron que han
tomado Abrilar, Mieltertos y remedios caseros simultáneamente; 47 encuestados manifestaron que
solamente usan “Mieltertos”; 29 personas manifestaron que no usan ningún tipo de medicamento
ni remedio casero. El laboratorio desea saber concretamente:

a) ¿Cuántos encuestados toman solamente “Abrilar”?

57 encuestados.
b) ¿Cuántos encuestados prefieren tomar “Abrilar” y
“Mieltertos” pero no usan remedios caseros.
25 encuestados.
c) ¿Cuántas personas fueron encuestadas en total?
246 encuestados.
d) ¿Cuántas personas toman “Mieltertos” o “Abrilar”, pero no remedios caseros.
104 encuestados.
 Tarea 3: Leyes de Inferencia

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través
de:

* 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.

1. En la vida de cualquier persona es fundamental un equilibrio entre la alimentación y la

actividad física. Por eso un deportista de alto rendimiento se hace una reflexión sobre su
alimentación: “Si consumo huevo en el desayuno y me como un banano, entonces tendré
pesadez en el estómago. No es cierto que si me como un banano, tendré pesadez en el
estómago. Como ensalada o consumo huevo en el desayuno. Si como ensalada, me alimento
sanamente. Por lo tanto, me alimento sanamente.
 Definición de las proposiciones simples

𝒑: consumo huevo en el desayuno

𝒒: me como un banano.
r: tendré pesadez en el estómago
s: como ensalada
t: me alimento sanamente.
(p ∧ q)→r: Si consumo huevo en el desayuno y me como un banano, entonces tendré
pesadez en el estómago
(∼q→ r): No es cierto que si me como un banano, tendré pesadez en el estómago.
(s v p) : como ensalada o consumo huevo en el desayuno.
(s→t) →t: si como ensalada, me alimento sanamente, Por lo tanto, me alimento sanamente.

Lenguaje simbólico: {(p ∧ q) →r ∧ (∼q→ r) ∧ (s v p) ∧ (s→t) → t}

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

El razonamiento no es verdadero, es una contingencia.

 Conclusión

Con este trabajo se logró la apropiación y conceptualización de las temáticas abordadas

en el curso de pensamiento lógico-matematico, permitiendo al estudiante el desarrollo de
situaciones problémicas del mundo real de una manera sencilla.

Al desarrollar los ejercicios se relacionan la parte teórica y práctica de los temas de

estudio (lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías, contradicciones y contingencias, proposiciones categóricas,
teoría de conjuntos y sus operaciones, silogismos, métodos de demostración,
razonamientos lógicos, inferencia lógica y argumentos lógicos, tipos de razonamiento y
su argumentación, entre otros), permitiendo desarrollar ejercicios para resolver
situaciones cotidianas de manera correcta con el fin de fortalecer la capacidad lógico-
matemática del estudiante.
 BIBLIOGRAFIA

 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=1123
0887&tm=1496180214861

 Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de

http://hdl.handle.net/10596/13869

 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

http://hdl.handle.net/10596/13871

 Castaño, G. (2017). Teoría de conjuntos, [Video]. Recuperado de

http://hdl.handle.net/10596/13870

 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&doc
ID=11046000&tm=1489704594878

 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=
3157595&tm=1511207573036

 Curo, A., & Martínez, M. (2013). Matemática básica para administradores. Lima, Peru:
Editorial UPC. Páginas 22 - 27. Recuperado de
http://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.asp
x?direct=true&db=e000xww&AN=1042768&lang=es&site=ehost-
live&ebv=EB&ppid=pp_1

 Getial J. 2018. Taller Paso 2, Lógica Proposicional UNAD, Pensamiento Lógico y

Matemático. [Archivo de Video]. Recuperado de:
https://www.youtube.com/watch?v=Gi7e_ENDeJ8&t=1810s

 Giraldo J. 2017. Video de Apoyo Uso de Tablas de Verdad–UNAD.[Archivo de

Video].Recuperado de: https://www.youtube.com/watch?v=vtzznU68L5g
 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=
10345286&tm=1489708381971

 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&docI
D=10345286&tm=1492518671601

 Grillo C.( 2013-02-08). 05 Leyes de De Morgan.wmv [Archivo de video]. Recuperado de

https://www.youtube.com/watch?v=iNN-9pZCBDA&t=130s

 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=
10075782&tm=1492518991513

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.

Recuperado de http://hdl.handle.net/10596/7961

 Reglas de Inferencia. UNAD. Recuperado de

https://drive.google.com/drive/folders/1Z9NESZ4mToHc5lYqLwe6j93e8HNWCuf0

 Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal.
Volumen I: conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial
Tébar Flores. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=1099
5629&tm=1489710145734

 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=
11046169&tm=1489706134764

 Silogismo hipotético(s.f.). En Wikipedia. Recuperado el 13 de Junio del

2018 de https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico

 Simulador truth table Versión 3.11. (1973.) Recuperado de:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
 Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest (Ed).
Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara, México:
Larousse - Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg
=30

 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=11013
570&ppg=30

 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=1047306 9

 Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.
Recuperado de http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf