Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

Ejercicio 1

Punto B

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 Instragram y Facebook

• 4 prefieren Instagram y twitter,

• 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?

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

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

4. ¿Cuántos estudiantes fueron encuestados?

 Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

Respuestas: 2. 9 Estudiantes prefieren únicamente Twitter

Diagrama de Venn

F= Facebook; T= Twitter; I= Instagram; U= Universal

3. 2 Estudiantes prefieren Instagram y Facebook

1. 2 Estudiantes prefieren únicamente Instagram

4. La cantidad de estudiantes encuestados está dada por el

conjunto Universal.

U= 46 + 10 + 2 + 9 + 2 + 4 + 2 + 4=79
 Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

Ejercicio 2

Punto B

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

Premisas:

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

Conclusión: 𝒔

Desarrollo:

Proposiciones simples:

p= puedo inscribirme a inglés

q= puedo inscribirme a Lógica y conjuntos

r= solo tendré tiempo libre en las tardes

s= solo tendré tiempo libre en las mañanas

Razonamiento en lenguaje natural:

Puedo inscribirme a inglés o puedo inscribirme a Lógica y conjuntos. Aunque, si me inscribo a inglés entonces solo tendré tiempo libre
en las tardes, sin embargo, si me inscribo a Lógica y conjuntos entonces solo tendré tiempo libre en las mañanas y no tendré tiempo
libre por las tardes. En tal caso solo tendré tiempo libre en las mañanas.
 Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

Tabla de verdad

p q r s (pvq (p→r (q→s (~r (pvq)^(p→ (pvq)^(p→r)^(q→ (pvq)^(p→r)^(q→s)^( ((pvq))^(p→r)^(q→s)^(~r)→

) ) ) ) r) s) ~r) s))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F F F V F V V V F F F V
 Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

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

Tautología

Se verifica por leyes de inferencia

[(pvq)^(p→r)^(q→s)^(¬r)]→s

Premisas

P1= p v q

P2= p  r

P3= q  s

P4= ¬r

Conclusión : s

P1= p v q

P2= p  r

P3= q  s

Q1= r v s Silogismo constructivo

 Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142

Q1= r v s

P4= ¬r

Q2= S Silogismo disyuntivo

Simulador
Presentado por: Mayra del mar Zapata López Tutor: Yader Blandon

Cód. 1121.712.936 Grupo: 200611_1142