Tarea 3

Laura Tatiana Tamayo Uribe

Mayo 2019

Universidad Nacional Abierta y a Distancia

Santander
Lógica Matemática
 Introducción

En el siguiente trabajo se desarrolla la aplicación de los diagramas de Venn para la teoría

de conjuntos y se hace uso de las tablas de verdad para determinar la validez de una

proposición así como su demostración por medio de las leyes de inferencia lógica.

Desarrollo

Ejercicio 1: Aplicación de la Teoría de Conjuntos

A continuación, encontrará una serie de situaciones en contextos reales, las cuales

deberán ser analizadas por el estudiante para el desarrollo del ejercicio 1

a. Se realizó una encuentra a 37 jóvenes respecto a sus preferencias deportivas

encontrándose la siguiente información:

• A 2 de ellos les apasiona el futbol, la natación y el ciclismo

• En total 5 de ellos les gusta el futbol y la natación

• En total a 7 de ellos les gusta la natación y el ciclismo

• Un total de 6 jóvenes manifestaron su gusto por el futbol y el ciclismo

• Solo 8 se apasionan por el futbol

• Solo 6 practican la natación

• A 9 de ellos solo les gusta el ciclismo.

• En total a 17 les gusta el futbol

• En total a 16 les gusta la natación.

A partir de la situación planteada dar respuesta las siguientes preguntas:

¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y la natación?

A 5 jóvenes

¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y el ciclismo?

A 6 jóvenes.

¿A cuántos jóvenes solo les gusta de manera simultánea la natación y el ciclismo?

A 7 jóvenes

¿En total a cuantos jóvenes les gusta el ciclismo?

A 20 jóvenes

Ejercicio 2: Métodos para probar la validez de un argumento

Expresión simbólica:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑

Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓
Conclusión: 𝑝
Lenguaje Natural
𝑃: 𝐿𝑎𝑢𝑟𝑎 𝑒𝑠𝑡𝑎 𝑒𝑛 𝑒𝑙 𝑡𝑟𝑎𝑏𝑎𝑗𝑜

𝑞: 𝐿𝑎𝑢𝑟𝑎 𝑒𝑠𝑡𝑎 𝑒𝑛 𝑙𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑

𝑟: 𝐿𝑎𝑢𝑟𝑎 𝑒𝑠𝑡𝑎 𝑒𝑛 𝑐𝑙𝑎𝑠𝑒

Si Laura no está en el trabajo, Laura está en la universidad, y si está en la universidad,

entonces esta en clase. Como Laura no está en clase, entonces está en el trabajo.

Tablas de verdad
Leyes de inferencia

Por silogismo hipotético:

(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ⟹ ~𝒑 ⟶ 𝒓

Por Modus Tollendo Tollens

~𝒑 ⟶ 𝒓

~𝒓 ⟶ 𝒑

Conclusión

 Es posible hacer uso de los diagramas de Venn para determinar soluciones a preguntas
con base en conjuntos donde no se tiene disponible toda la información sobre el mismo.
 La transformación a lenguaje natural permite entender con mayor facilidad los
principios de la lógica matemática.
 Lista de referencias

Hortalá, M. (2001). Matemática discreta y lógica matemática.