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

Filosofia
• ¿Cuántos estudiantes participaron en total? RTA: 78 estudiantes participaron en total
 Ejercicio 2[(p→q) ∨r]

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