Introducción

Con el desarrollo del presente trabajo estudiaremos y daremos un repaso sobre la teoría de
conjuntos, sus elementos y operaciones entre estos mismos. Se estudiará además, la lógica
proposicional, donde encontraremos proposiciones simples y compuestas, proposiciones
categóricas, proposiciones contrarias de contingencia y subcontrarias. Tablas de verdad,
métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos.
Las cuales nos darán las bases para formalizar nuestros conocimientos; todas estas
herramientas nos ayudaran a desempeñarnos en nuestro campo profesional.
 Objetivos

 Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos para la

resolución de problemas.

 Interpretar problemas debidamente contextualizados y aplicarlos adecuadamente a los

elementos y las propiedades operativas de la teoría general de conjuntos.

 Identificar en forma clara los métodos para demostrar la validez de argumentos,

mediante la aplicación correcta de las reglas de inferencia lógica, los razonamientos por
inducción y deducción en formulaciones de situaciones específicas del mundo real.
 Tarea 4 – Sustentación tarea 1, 2 o 3

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

Una encuesta realizada a un grupo de estudiantes de la Universidad Nacional Abierta y a

Distancia –UNAD- donde todos respondieron, reveló que 450 matricularon el curso de PLM;
260 matricularon el curso de Algebra Lineal; 360 matricularon el curso de Calculo
Diferencial; 200 matricularon PLM y Algebra Lineal; 250 matricularon PLM y Calculo
Diferencial; 150 matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon PLM,
Algebra Lineal y Calculo Diferencial.

Calcular:

 ¿Cuántos fueron los estudiantes encuestados?

 ¿Cuántas estudiantes tienen solamente matriculado el curso de PLM?

 ¿Cuántas estudiantes tienen solamente matriculado el curso de Algebra Lineal?

 ¿Cuántas estudiantes tienen matriculados PLM y Algebra Lineal, pero no tienen

matriculado Cálculo Diferencial?

 ¿Cuántas estudiantes tienen matriculado el curso de PLM y Cálculo Diferencial pero

no Algebra Lineal?

Desarrollo:

𝑃𝐿𝑀 = 𝑃𝑒𝑛𝑠𝑎𝑚𝑖𝑒𝑛𝑡𝑜 𝐿ó𝑔𝑖𝑐𝑜 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜 = 450

𝐴𝐿 = Á𝑙𝑔𝑒𝑏𝑟𝑎 𝐿𝑖𝑛𝑒𝑎𝑙 = 260
𝐶𝐷 = 𝐶á𝑙𝑐𝑢𝑙𝑜 𝐷𝑖𝑓𝑒𝑟𝑒𝑛𝑐𝑖𝑎𝑙 = 360
𝑃𝐿𝑀 ∩ 𝐴𝐿 = 200
𝑃𝐿𝑀 ∩ 𝐶𝐷 = 250
𝐴𝐿 ∩ 𝐶𝐷 = 150
𝑃𝐿𝑀 ∩ 𝐴𝐿 ∩ 𝐶𝐷 = 100
𝑃𝐿𝑀 = 450 − 100 − 100 − 150 = 100
𝐴𝐿 = 260 − 100 − 100 − 50 = 1
𝐶𝐷 = 360 − 100 − 150 − 50 = 60
𝑼 = 150 + 100 + 100 + 100 + 60 + 50 + 1 = 561
𝟓𝟔𝟏 Fueron los estudiantes encuestados.

Suma de todos los datos dentro del conjunto Universal.

𝑼 = 150 + 100 + 100 + 100 + 60 + 50 + 1 = 561

𝟏𝟎𝟎 Fueron los estudiantes que solamente han matriculado el curso de Pensamiento
Lógico Matemático (PLM).

El único número del subconjunto rojo que no se encuentra involucrado con otros subconjuntos.
𝑃𝐿𝑀 = 450 − 100 − 100 − 150 = 100
𝟏 Es él estudiante que solamente ha matriculado el curso de Álgebra Lineal.

El único número del subconjunto azul que no se encuentra involucrado con otros subconjuntos.
𝐴𝐿 = 260 − 100 − 100 − 50 = 1

𝟏𝟎𝟎 Son los estudiantes que tienen matriculado Pensamiento Lógico Matemático
(PLM) y Algebra Lineal, pero no tienen matriculado Cálculo Diferencial.

La intersección tomada entre los subconjuntos rojo y azul pero sin tomar el verde.

𝟏𝟓𝟎 Son los estudiantes que tienen matriculado Pensamiento Lógico Matemático
(PLM) y Cálculo Diferencial, pero no tienen matriculado Algebra Lineal.

La intersección tomada entre los subconjuntos rojo y verde pero sin tomar el azul.
 Ejercicio 2: Métodos para probar la validez de un argumento

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 2:

Expresión simbólica:

{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡

Conclusión: 𝑞

Desarrollo:

 Proposiciones simples:

𝑝: participo en futbol.
𝑞: obtengo una beca.
𝑟: obtengo buenas calificaciones.
𝑠: participo en natación.
𝑡: participo en atletismo.

 Razonamiento en lenguaje natural:

Si participo en fútbol entonces obtengo una beca u obtengo buenas calificaciones, si

participo en natación entonces no obtengo una beca, si participo en atletismo entonces
no obtengo buenas calificaciones, si participo en fútbol y participo en atletismo. Por
lo tanto, entonces obtengo una beca.

 Generar la tabla de verdad manualmente:

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
 leyes de inferencia:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝∧𝑡

 Conclusión: 𝑞

P5: 𝑝 Simplificación (S) en P4.

P6: 𝑡 Simplificación (S) en P4.
P7: (𝑞 ∨ 𝑟) Modus Ponendo Ponens (PP) en P1 y P5.
P8: ~𝑟 Modus Ponendo Ponens (PP) en P3 y P6.
P9: 𝑞 Tollendo Ponens (TP) en P7 y P8.
 Conclusiones
Al finalizar este trabajo se puede concluir que:

 Se retomó temas ya vistos para darle una mejor complejidad y entendimiento sobre
estos.

 Se desarrolló temáticas sobre la teoría de conjuntos aplicando varios de sus

elementos, propiedades y operaciones con conjuntos.

 Se desarrolló las temáticas de Proposiciones simples y compuestas, proposiciones

categóricas, proposiciones contrarias de contingencia y subcontrarias. Tablas de
verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos.

 Utilizamos estrategias basadas en problemas cotidianos.

 Adquirimos herramientas útiles para nuestra vida profesional