Académique Documents
Professionnel Documents
Culture Documents
Los siguientes son los datos que muestran las preferencias de algunos aspirantes a ingresar
a la Universidad Nacional Abierta y a Distancia para ciertos programas de Ingeniería:
• 50 prefieren Industrial.
• 47 prefieren Sistemas.
• 35 prefieren Electrónica.
• 16 prefieren Sistemas y Electrónica.
• 11 prefieren Industrial y Sistemas.
• 15 prefieren Industrial y Electrónica.
• 9 prefieren las tres.
I
33 ILUSTRE DE
GRAFICA 1
6 2
9
E 13 7 29 S
I ∩ S ∩ E= 9
I ∩ E= 15 – 9 = 6
I ∩ S= 11 – 9 = 2
S ∩ E= 16 – 9 = 7
E= 35 – 6 – 7 – 9 = 13
S= 47 – 2 – 7 – 9 = 29
I = 35 – 6 – 7 – 9 = 33
U= 33 + 29 + 13 + 7 + 2 + 6 + 9 = 99
Expresión simbólica:
Premisas:
P1: 𝑝 → (𝑞 → 𝑟)
P2: 𝑟 ∧ 𝑝
P3: 𝑠 ∨ 𝑞
P4: ¬𝑞
Conclusión: 𝑠 ∧ (𝑞 → 𝑟)
p: Hoy es lunes.
s: me saco la lotería.
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
Si hoy es lunes; entonces la casa esta sucia, entonces la empleada la limpia mañana. La
empleada la limpia mañana y hoy es lunes. Me saco la lotería o la casa esta sucia, no esta
sucia. Por lo tanto, me saco la lotería, si la casa esta sucia, entonces la empleada la limpia
mañana.
• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
p q r s ¬𝑞 (𝑞 → (𝑟 ∧ (𝑠 ∨ [𝑝 → (𝑞 → [𝑠 ∧ (𝑞 → {[𝑝 → (𝑞 → {[𝑝 → (𝑞 →
∧ (𝑠 ∨ 𝑞) ∧ ∧ (𝑠 ∨ 𝑞) ∧
(¬𝑞)} (¬𝑞)} → [𝑠 ∧
(𝑞 → 𝑟)].
V V V V F V V V V V F F
V V V F F V V V V F F V
V V F V F F F V F F F V
V V F F F F F V F F F V
V F V V V V V V V V V V
V F V F V V V F V F F V
V F F V V V F V V V F F
V F F F V V F F V F F V
F V V V F V F V V V F F
F V V F F V F V V F F F
F V F V F F F V V F F V
F V F F F F F V V F F V
F F V V V V F V V V F F
F F V F V V F F V F F V
F F F V V V F V V V F F
F F F F V V F F V F F V
Premisas: Conclusión: 𝑠 ∧ (𝑞 → 𝑟)
P1: 𝑝 → (𝑞 → 𝑟)
P2: 𝑟 ∧ 𝑝
P3: 𝑠 ∨ 𝑞
P4: ¬𝑞
8. s ^ (q r) Adjunción (A) (5 y 7)
Conclusión: 𝑠 ∧ (𝑞 → 𝑟)