Tarea 4 – Sustentación de Unidades 1,2,3

Liliana Rueda Monsalve

CÓDIGO: 1005384495
Grupo: 564

Luis Eduardo Hoyos

(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

BETULIA
FECHA: 26/10/2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

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?
 Rtda:
1. 69 estudiantes perdieron exactamente una materia.

2. 6 estudiantes no perdieron alguna materia.

3. 17 estudiantes perdió solamente líneas de trasmisión.

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

C. Expresión simbólica:

[ ( p ∨ q ) ∧ ( p →r ) ∧ ( q → r ) ∧ ( ¬ p →¬ r ) ]⟶ p
Premisas:
P1: p ∨q
P2: p →r
P3: q → r
P4: ¬ p → ¬r

Conclusión: p

Desarrollo

Proposiciones Simples:
Se define cada proposición simple del argumento, siempre en afirmativo y con letras en
minúscula.
p: Natalia estudia Licenciatura

q: Asiste a b-lerning los sábados

r: Obtiene buenas calificaciones

Razonamiento en lenguaje natural:

Natalia estudia licenciatura o asiste a los b-lerning los sábados y Natalia estudia
licenciatura entonces obtiene buenas notas y asiste a los b-lerning los sábados entonces
obtiene buenas notas y no asiste a los b-lerning los sábados entonces no obtiene buenas
notas entonces Natalia estudia licenciatura.
Tabla de la verdad (manual):
[ ( p ∨ q ) ∧ ( p →r ) ∧ ( q → r ) ∧ ( ¬ p →¬ r ) ]⟶ p

p q r ~ ~ (p∨ ( (q (~q→ [(pvq)^(p→r)^(q→r [(pvq)^(p→r)^(q→r)

q r q) p →r) ~r) )^(~q→~r)] ^(~q→~r)]→p
→
r)
V V V F F V V V V V V
V V F F V V F F V F V
V F V V F V V V F F V
V F F V V V F V V F V
F V V F F V V V V V F
F V F F V V V F V F V
F F V V F F V V F F V
F F F V V F V V V F V

Tabla de verdad con el Simulador Lógica UNAD.

El resultado es una: Contingencia

 leyes de inferencia:
[ ( p ∨ q ) ∧ ( p →r ) ∧ ( q → r ) ∧ ( ¬ p →¬ r ) ]⟶ p
Premisas:
P1: p ∨q
P2: p →r
P3: q → r
P4: ¬ p → ¬r
Conclusión: p

P5: p →q (P2 y P3 SH)

P6: p (P1 SD)

P7: p (P4 MTT)

P8: P (P6 Y P7 MPP)

Referencias bibliográficas

Cardona Torres, S. A., Hernández Rodríguez, L. A., & Jaramillo Valbuena, S. (Diciembre
de 2010). Lógica matemática para ingeniería de sistemas y computación. 78-99.
Obtenido de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971