Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Curso 200611A_761
Grupo 200611_305
05\05\2020
Bogotá 2019
1.EJERCICIO
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
U=120
38
8
17
U : 120
P ∩ C :20
P ∩ L :24
C ∩ L: 17
P=50-16-8-12=14
C=67-12-8-9=38
L=50-1-6-8-9=33
2. ejercicio
c. Expresión simbólica:
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)
Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞
Conclusión: 𝑠 ∧ 𝑟
P: yo estudio matematicas
S: me interesa la ciencia
Si yo estudio matemáticas ,entonses me interesa la ciencia y si estudio
todos los dias, entonces aprendo mas rápido y yo estudio matemáticas y
yo estudio todos los días por tanto me interesa la ciencia y aprendo mas
rápido
- Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico.
P q r s (𝑝 → 𝑠) (𝑞 → 𝑟) (𝑝 → 𝑠) (𝑝 ∧ 𝑞) (𝑝 → 𝑠) (𝑠 ∧ 𝑟) [(𝑝 → 𝑠)
∧ (𝑞 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (𝑞 → 𝑟)
∧ (𝑝 ∧ 𝑞)
∧ (𝑝 ∧ 𝑞)]
⟶ (𝑠 ∧ 𝑟)
V V V V V V v V V V V
V V V F F V F V F F V
V V F V V F F V F F V
V V F F F F F V F F V
V F V V V V V F F V V
V F V F F V F F F F V
V F F V V V V F F F V
V F F F F V F F F F V
F V V V V V V F F V V
F V V F V V V F F F V
F V F V V F F F F F V
F V F F V F F F F F V
F F V V V V V F F V V
F F V F V V V F F F V
F F F V V V V F F F V
F F F F v V V F F F V
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)
Resultado de la tabla de verdad: TAUTOLOGÍA
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)
Premisa 1: (𝑝 → 𝑠)
Pemisa 2: (𝑞 → 𝑟)
Premisa 3: (𝑝 ∧ 𝑞)
Conclusión: (𝑠 ∧ 𝑟)
Prueba formal de validez
1(𝑝 → 𝑠)
2(𝑞 → 𝑟)
3(𝑝 ∧ 𝑞)
Conclucion (𝑠 ∧ 𝑟)
4. p s . en 3 4. 𝑝 ∧ 𝑞 : conclucion : p
5. s mpp 1,4 5. premisa 1: 𝑝 → 𝑠:
6. q s. en 3 Premisa 2 :p
7. r mpp 2,6 Conclusión s
8. 𝑠 ∧ 𝑟 A. en 5.7 6. 𝑝 ∧ 𝑞 : conclucion : q
7. Premisa 1: 𝑞 → 𝑟
Premisa 2: q
Conclusión: r
8. Adjunción:
Premisa 1: s
premisa 2: r
conclucion : 𝑠 ∧ 𝑟
link explicacion: https://youtu.be/nBeORHK1FHo?t=11