1.

Aplicación de teoría de conjuntos:

Se realizó una encuesta los estudiantes de Pensamiento Lógico

Matemático, a 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:

 ¿Cuántos estudiantes prefieren únicamente Instagram?

Rta: 2

 ¿Cuántos estudiantes prefieren únicamente twitter?

Rta: 9
  ¿Cuántos estudiantes prefieren Instagram y Facebook?

Rta: 2

 ¿Cuántos estudiantes fueron encuestados?

Rta: 79

2. Métodos para probar validez de un argumento:

a. 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: Junior gana pensamiento lógico matemático

q: Junior hizo todos los trabajos
r: Junior es responsable
s: Junior gana el semestre
[(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)

Si Junior gana pensamiento lógico matemático entonces hizo todos los

trabajos, si hizo todos los trabajos entonces es responsable. Junior gana
pensamiento lógico matemático y gana el semestre entonces Junior es
responsable.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje simbólico:

p q r s ((p→q)∧(q→r)∧(p∧s))→(r)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
  Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

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

v v v v v v v v v
v v v f v v f v v
v v f v v f v f v
v v f f v f f f v
v f v v f v v v v
v f v f f v f v v
v f f v f v v v v
v f f f f v f v v
f v v v v v f v v
f v v f v v f v v
f v f v v f f f v
f v f f v f f f v
f f v v v v f v v
f f v f v v f v v
f f f v v v f v v
f f f f v v f v v

Tautología.
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica:

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝⋀𝑠
P4: q
Simplificación P2.
P5: r
P6: r Ponendo ponens P2 y P4.
Conclusión: 𝒓