PENSAMIENTO LOGICO Y MATEMATICO

Teoría de Conjuntos- Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos

Presentado por:
Jose Eli Garcia Murillo
Curso. (200611 – 579)

Presentado a:
Ing. Libia Andrea Chaparro

Universidad Nacional Abierta y a Distancia UNAD

Ingeniería Industrial
CEAD-YOPAL
2020
 Desarrollo Tarea 4 – Sustentación tarea 1, 2 o 3

Descripción del ejercicio:

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.

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

A. Se realiza una encuesta a 180 estudiantes del curso de

Pensamiento Lógico y Matemático para conocer el medio de
comunicación (Mensajería interna del curso, Skype, Foro)
más asertivo que les permite la socialización de los avances de
las tareas a desarrollar en el curso.
Los resultados obtenidos fueron los siguientes:

● 78 estudiantes utilizan la mensajería interna del curso.

● 96 estudiantes utilizan el foro.
● 23 estudiantes utilizan el Skype y el foro, pero no la
mensajería interna del curso.
● 18 estudiantes utilizan solamente la mensajería interna del
curso.
● 43 estudiantes utilizan solamente Skype.
● 30 estudiantes utilizan solamente el foro.
● 52 estudiantes utilizan la mensajería interna del curso y el
Skype
● 35 estudiantes utilizan los tres canales de comunicación

¿Cuántos estudiantes utilizan Skype?

¿Cuántos estudiantes no utilizan ninguno de los tres canales de
comunicación?

U= 180

MIC Total= 78

MIC Solamente= 18

F Solamente= 30

S Solamente= 43

MIC ∩ F ∩ S= 35

MIC ∩ S= 52

S ∩ F - MIC = 23

U= 180 – 174 = 6

En base a la información anterior, responda los siguientes interrogantes:

Rta:
1. ¿Cuántos estudiantes utilizan el Skype y el foro?
156 estudiantes.

2. ¿Cuántos estudiantes utilizan la mensajería interna del curso y el foro,

pero no el Skype?

56 estudiantes.

3. ¿Cuántos estudiantes utilizan Skype?

118 estudiantes
4. ¿Cuántos estudiantes no utilizan ninguno de los tres canales de
comunicación?

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

Descripción del ejercicio:

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:

[( p → q) ⋀( q → r) ⋀ ( p ⋀ s ) ] → ( r )

Determinación de Premisas: (De acuerdo a la expresión simbólica divida

el argumento en premisas de forma vertical y deben ser numeradas)
P1: p →q
P2: q → r
P3: p ⋀ s
Conclusión: r

Desarrollo:

● Proposiciones simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

p: Me trasnocho

q: me quedo dormido

r: llego tarde a clases

s: pierdo la explicación de la materia

 ● Razonamiento en lenguaje natural: (A partir de las proposiciones
simples anteriores y el lenguaje simbólico dado en el ejercicio, se
construye la expresión en lenguaje formal o natural)

Si me trasnocho entonces me quedo dormido Y Si me quedo dormido

entonces llego tarde a clases Y si me trasnocho Y pierdo la explicación de la
materia, entonces llego tarde a clases

● Generar la tabla de verdad manualmente: recuerde que aparte de

las columnas de las proposiciones simples, debe haber tantas columnas
como operadores lógicos hay en el lenguaje simbólico (incluye
negaciones y demás operadores lógicos, en el caso del ejemplo que
estamos trabajando, hay 4 proposiciones simples y 6 operadores
lógicos), por lo tanto, la tabla de verdad está compuesta por 4
columnas de proposiciones simples, y 6 columnas de operadores
lógicos.
● Resultado de la tabla de verdad: TAUTOLOGÍA

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

leyes de inferencia: (Mediante la aplicación de las leyes de inferencia,
demuestre la validez del argumento, recuerde que para aplicar leyes de
inferencia debe haber obtenido como resultado una tautología en la tabla de
verdad)
[(p→q) ⋀ (q→r) ⋀ (p⋀ s)]→(r)

P1: p→q
P2: q→r
P3: p⋀ s
Conclusión: r
P4: P Simplificación en P3
P5: S Simplificación en P3
P6: p→r Transitiva en P1 y P2
P7: r MPP en P6 y P4