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

 Se realizó una encuesta los estudiantes de Lógica Matemática, 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 Facebook y Twitter,
 2 prefieren Facebook e Instagram
 4 prefieren Twitter e Instagram,
 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?

 ¿Cuántos estudiantes prefieren únicamente Twitter?
 ¿Cuántos estudiantes prefieren Facebook e Instagram?
 ¿Cuántos estudiantes fueron encuestados?
 ¿Cuántos estudiantes prefieren únicamente Instagram?

10 Estudiantes prefieren únicamente Instagram

  ¿Cuántos estudiantes prefieren únicamente Twitter?

25 Estudiantes prefieren únicamente Twitter

 ¿Cuántos estudiantes prefieren Facebook e Instagram?

4 Estudiantes prefieren Facebook e Instagram390555

 ¿Cuántos estudiantes fueron encuestados?

117 estudiantes fueron encuestados

Ejercicio 2

B. Expresión simbólica:

[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠

Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟

Conclusión: 𝒔

Desarrollo:

Proposiciones simples:

p: presto atención

q: me concentro

r: tengo buenas notas

s: gano el curso

Razonamiento en lenguaje natural:

Si presto atención o me concentro y si presto atención entonces tengo

buenas notas y si me concentro entonces gano el curso y si no tengo
buenas notas entonces gano el curso
 Generar la tabla de verdad manualmente:

p q r s ¬r (p∨q) (p→r) (p∨q)∧(p→r) (q→s) (p∨q)∧(p→r)∧(q→s) (p∨q)∧(p→r)∧(q→s)⋀(¬r) [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s

V V V V F V V V V V F V
V V V F F V V V F F F V
V V F V V V F F V F F V
V V F F V V F F F F F V
V F V V F V V V V V F V
V F V F F V V V V V F V
V F F V V V F F V F F V
V F F F V V F F V F F V
F V V V F V V V V V F V
F V V F F V V V F F F V
F V F V V V V V V V V V
F V F F V V V V F F F V
F F V V F F V F V F F V
F F V F F F V F V F F V
F F F V V F V F V F F V
F F F F V F V F V F F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

 Resultado de la tabla de verdad: TAUTOLOGÍA

  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica.
[(p ∨ q) ∧ (p → r) ∧ (q → s)⋀(¬r)] → s
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟
Conclusión: s Modus Tollendo Tollens –MTT en P2 Y p4
P5: ¬𝑝 P2: 𝑝 → 𝑟
P4: ¬𝑟
P5: ¬𝑝

P6: 𝑞 Modus Tollendo Ponens –MTP en P1 Y P5

P1: 𝑝 ∨ 𝑞
P5: ¬𝑝

P6: 𝑞

P7: 𝑠 Modus Ponendo Ponens –MPP en P3 Y P6

P3: 𝑞 → 𝑠
P6: 𝑞
P7: 𝑠

Se comprueba la validez del argumento arrojando como resultado la

conclusión:S