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

Al finalizar el periodo académico en la carrera de ingeniería eléctrica se hizo una encuesta

sobre las materias de quinto semestre que más perdieron los estudiantes, ellas son las
siguientes: Potencia de máquinas, Circuitos avanzados y Líneas de transmisión. Siendo
la clase del quinto semestre de 120 estudiantes se tiene que:

 8 estudiantes perdieron las 3 materias.

 20 perdieron Potencia de máquinas y Circuitos avanzados.
 17 estudiantes perdieron Circuitos avanzados y Líneas de transmisión.
 24 estudiantes perdieron Potencia de máquinas y Líneas de transmisión.
 50 estudiantes en total perdieron Potencia de máquinas.
 67 estudiantes en total perdieron Circuitos avanzados.
 50 estudiantes en total perdieron Líneas de transmisión

Para da realización a esta actividad pasamos a realizar un diagrama de ven con los
datos brindados.

De acuerdo con lo anterior, responder las siguientes preguntas:

¿Cuántos estudiantes perdieron exactamente una materia?

69 estudiantes perdieron 1 materia

¿Cuántos no perdieron alguna materia?

6 estudiantes no perdieron materias

¿Cuántos estudiantes perdieron solamente Líneas de transmisión?

17 estudiantes perdieron solo la materia de líneas de transmisión

Ejercicio 2: Métodos para probar la validez de un argumento

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 2.

A. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝
Premisas:
P1:𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑟
P4: ¬𝑝 → ¬𝑟

Conclusión: 𝑝

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: la unad una universidad publica

q: juan estudia psicología.

r: la unad es virtual

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

La unad una universidad pública o juan estudia psicología y la unad una universidad
pública entonces la unad es virtual y juna estudia psicología entonces la unad es virtual y
la unad no es una universidad pública entonces la unad no es virtual. Por lo tanto la unad
una universidad publica
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 (En Word,
Excel o foto del desarrollo manual).

p q r ¬𝒑 ¬𝒓 𝒑 (𝒑 → 𝒓) (𝒑 ∨ 𝒒) 𝒒→𝒓 (𝒑 ∨ 𝒒) (¬𝒑 → ¬𝒓) (𝒑 ∨ 𝒒) [(𝒑 ∨ 𝒒) ∧ (𝒑 → 𝒓)

∨𝒒 ∧ (𝒑 → 𝒓) ∧ (𝒑 → 𝒓) ∧ (𝒑 → 𝒓) ∧ (𝒒 → 𝒓)
∧ (𝒒 → 𝒓) ∧ (𝒒 → 𝒓) ∧ (¬𝒑 → ¬𝒓)] ⟶ 𝒑
∧ (¬𝒑 → ¬𝒓)

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

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

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

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

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

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

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

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

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

Conclusión: 𝑝

P5: 𝑟 ∨ 𝑟 silogismo disyuntivo P1, P2 y P3

P6: 𝑟 simplificación disyuntiva P4
P7: 𝑝 MTT P4 y P6