Tarea 4

Sustentación tarea 1, 2 o 3

Ejercicio 1

a. Determina el número de estudiantes de un curso, si se sabe que cada uno participa en al menos
una de los tres cursos de verano español, inglés o filosofía. 48 participan en el de español, 45 en
el de inglés, 49 en el de Filosofía, 28 en el de español e inglés, 26 en el de español y Filosofía, 28
en el de inglés y filosofía y 18 en los tres seminarios.

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

¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?

¿Cuántos participan sólo en el de filosofía?

¿Cuántos estudiantes participaron en total?

 Representar la información dada en un diagrama de Venn Euler

  Solucionar los interrogantes planteados.

¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?

RTA: 29 estudiantes participaron en los seminarios e inglés y español

 ¿Cuántos participan sólo en el de filosofía

 ? RTA: 49 estudiantes participaron solo en Filosofía

 ¿Cuántos estudiantes participaron en total?

 RTA: 78 estudiantes participaron en total

  Ejercicio 2

Expresión simbólica: {[(p→q) ∨r] ∧ (r→∼p) ∧ (p∧s)} ⟶ (q∧s)

Premisas:

P1: (p→q) ∨r

P2: r→∼p

P3: p∧s

Conclusión: q∧s

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.
p: salimos a mojarnos
q: nos podemos enfermar
r: dar un resfriamos
s: ser desobedientes

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

Si salimos a mojarnos entonces nos podemos enfermarnos o nos da un refriamos y si nos da un
refriamos entonces no salimos a mojarnos y si salimos a mojarnos y ser muy desobedientes
entonces podemos enfermarnos por lo tanto ser muy desobedientes.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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

Premisas:

P1: (p→q) ∨r

P2: r→∼p

P3: p∧s

Conclusión: q∧s

P4: p (S) P3

P5: -r (TT) P2 y P4

P6: p→q (TP) P1 y P5

P7: q (PP) P6 y p4

P8: s (s) P3

P9: q∧s (A) P7 yP8