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

B. Se realizó una encuesta los estudiantes de Pensamiento Lógico Matemático,

acerca de sus preferencias en el uso de las redes sociales y se obtuvieron los
siguientes resultados:

• 60 prefieren Facebook,

• 25 prefieren twitter,

• 10 prefieren Instagram,

• 2 prefieren las tres redes sociales,

• 10 prefieren solo Facebook y twitter simultáneamente,

• 2 prefieren sólo Instagram y Facebook simultáneamente

• 4 prefieren sólo twitter y Instagram simultáneamente,

• 4 no tiene preferencia por ninguna red social.

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

1• ¿Cuántos estudiantes prefieren únicamente Instagram?

Respuesta: Los estudiantes que solo prefieren Instagram son 6

2 • ¿Cuántos estudiantes prefieren únicamente twitter?

Respuesta: Los estudiantes que solo prefieren Twitter son: 13

3 • ¿Cuántos estudiantes prefieren Instagram y Facebook?

Los estudiantes que prefieren Instagram y Facebook son: 0

4• ¿Cuántos estudiantes fueron encuestados?

Los estudiantes encuestados fueron: 95

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

b. Expresión simbólica: [(𝑝 → 𝑞) ⋀ (𝑞 → 𝑟) ⋀(𝑝⋀𝑠)] → (𝑟)

Premisas: P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝⋀𝑠

Conclusión: 𝒓

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El
estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el
Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 Desarrollo

Maritza estudia en la Universidad Nacional Abierta y a Distancia. Ella está en noveno semestre de
la carrera de psicología. Maritza estudia juiciosa cumpliendo con sus prácticas. Maritza logrará
graduarse con honores.

p: Maritza estudia en la Universidad Abierta y a distancia UNAD.

q: Maritza está en octavo semestre de la carrera de psicología.

r: Maritza estudia juiciosa cumpliendo con sus prácticas.

s: Maritza Lograra graduarse con honores.

Premisas: P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝⋀𝑠

Conclusión: 𝒓
Tabla de verdad con el simulador UNAD
 TAUTOLOGIA

Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.

Expresión simbólica: [(𝑝 → 𝑞) ⋀ (𝑞 → 𝑟) ⋀(𝑝⋀𝑠)] → (𝑟)

Premisas: P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝⋀𝑠

Conclusión: 𝒓

Premisa P4: p aplicando SH en p1 y p2

P5: s aplicando S en p3

P6: r