Trabajo para La Sustentacion de Maicolhoyos

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 5

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

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales,


las cuales deberán ser analizadas por el estudiante para el desarrollo del
ejercicio 1.

C: 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

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos estudiantes perdieron exactamente una materia?


 ¿Cuántos no perdieron alguna materia?
 ¿Cuántos estudiantes perdieron solamente Líneas de
transmisión?
U=120
L.T= 50
C.A=67
P.M=50
L.T∩C.A=55

¿Cuántos estudiantes perdieron exactamente una materia?

69 estudiantes perdieron una materia

¿Cuántos no perdieron alguna materia?

6 estudiantes no perdieron alguna materia

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

17 estudiantes perdieron líneas de transmisión


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

Descripción del ejercicio:

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


conclusión de un argumento para el desarrollo del ejercicio 2.:C:
Expresión simbólica:

[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝


Proposiciones simples
p: Los docentes de la UNAD son profesionales
q: Dianis es consejera de la UNAD
r: La consejera de la UNAD es Psicóloga.

Razonamiento en lenguaje natural: Los docentes de la UNAD son


profesionales o Dianis es la consejera de la UNAD. Los docentes de la
UNAD son profesionales por lo tanto la consejera de la UNAD es Psicóloga.
Dianis es consejera de la UNAD entonces la consejera de la UNAD es
Psicóloga. Si los docentes de la UNAD no son profesionales entonces la
consejera de la UNAD no es Psicóloga. Por lo tanto, los docentes de la
UNAD son profesionales

Generar la tabla de verdad manualmente


¬ ¬ (pv (p- (q- (¬p- (pvq)^(p (pvq)^(p- (pvq)^(p->r)^(q- [(pvq)^(p->r)^(q->r)^(¬p-
p q r p r q) >r) >r) >¬r) ->r) >r)^(q->r) >r)^(¬p->¬r) >¬r)]->p

V V V F F v V V V V V V V
V V F F V v F F V F F F V
V F V F F v V V V V V V V
V F F F V v F V V F F F V
F V V V F v V V F V V F V
F V F V V v V F V V F F V
F F V V F f V V F F F F V
F F F V V f V V V F F F V
Tabla hecha en el simulador

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


inferencia lógica

P1: (𝑝 ∨ 𝑞)

P2: (𝑝 → 𝑟) Regla de demostración por caso

P3: (𝑞 → 𝑟)
P4: (¬𝑝 → ¬𝑟)
Conclusión: p

P2: (𝑝 → 𝑟)

P3: : (𝑞 → 𝑟)
P5: (𝑝 ∨ 𝑞) → 𝑟

(𝑝 ∨ 𝑞)
P6: r
Modus ponen
P4: (¬p→¬r)

P6: r→q

P modus tollens

P1: (p∨q)

P2: (𝑝 → 𝑟)

P3: (𝑞 → 𝑟)

P4: (¬𝑝 → ¬𝑟)

P5: (p∨q) →r regla de demostración por caso p2y p3

P6: r modus ponen p5y p1


P7: p modus tollens entre p4y p6

También podría gustarte