1

Ejercicio 1

Aplicación de la Teoría de Conjuntos

d. En un taller de carros, se ha realizado un estudio de las fallas más comunes en

los carros para el mes de junio, encontrando lo siguiente: 29 presentaron fallas eléctricas,

47 presentaron fallas en los frenos, 46 presentaron fallas en el tren delantero, además se

encontró que: 6 vehículos tuvieron las tres fallas juntas, 13 presentaron fallas eléctricas y

de frenos, 31 presentaron fallas en los frenos y en el tren delantero y 10 presentaron fallas

eléctricas y de tren delantero. Se desea saber: ¿Cuántos vehículos presentaron solo

fallas en los frenos? ¿Cuántos vehículos presentaron fallas eléctricas o de tren delantero?

¿Cuántos vehículos presentaron fallas eléctricas y de frenos, pero no de tren delantero?

 2

Diagrama de Venn

U = Vehículos con fallas más comunes

E = Vehículos con fallas eléctricas

F = Vehículos con fallas de frenos

T = Vehículos con fallas en el tren delantero

12

7 4
6

9 25 11

F T

Resolución de preguntas

 ¿Cuántos vehículos presentaron solo fallas en los frenos?

R// 9 vehículos

 ¿Cuántos vehículos presentaron fallas eléctricas o de tren delantero?

R// 65 vehículos = 12 + 7 + 6 + 4 + 25 + 11

 ¿Cuántos vehículos presentaron fallas eléctricas y de frenos, pero no de tren

delantero?
 3

R// 7 vehículos
 4

Ejercicio 2

Métodos para probar la validez de un argumento

Expresión simbólica planteada:

[(𝒑 ∧∼ 𝒒) ∧ (𝒑 → 𝒒)] → (∼ 𝒑)

𝑷𝟏: 𝒑 ∧∼ 𝒒

𝑷𝟐: 𝒑 → 𝒒

𝑪𝒐𝒏𝒄𝒍𝒖𝒔𝒊ó𝒏: ∼ 𝒑

Definición de las proposiciones simples:

𝑝: 𝐴𝑙𝑒𝑗𝑎𝑛𝑑𝑟𝑜 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝐼𝑛𝑔. 𝐸𝑙𝑒𝑐𝑡𝑟ó𝑛𝑖𝑐𝑎

𝑞: 𝐴𝑙𝑒𝑗𝑎𝑛𝑑𝑟𝑜 𝑒𝑠 𝑢𝑛 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 𝑈𝑁𝐴𝐷𝑖𝑠𝑡𝑎

Definición del lenguaje natural de la expresión simbólica

“Alejandro estudia Ing. Electrónica y no es un estudiante UNADista. Si Alejandro

estudia Ing. Electrónica, entonces él es un estudiante UNADista. Por lo tanto, Alejandro

no estudia Ing. Electrónica.”

 5

Tabla generada en el simulador TRUTH TABLE

Tabla de verdad generada manualmente

p q ¬p ¬q pΛ¬q p→q (pΛ¬q)Λ(p→q) (pΛ¬q)Λ(p→q)→(¬p)

T T F F F T F T
T F F T T F F T
F T V F F T F T
F F V T F T F T

La expresión en una Tautología.

 6

Validez del argumento mediante Leyes de Inferencia

[(𝒑 ∧∼ 𝒒) ∧ (𝒑 → 𝒒)] → (∼ 𝒑)

𝑷𝟏: 𝒑 ∧∼ 𝒒

𝑷𝟐: 𝒑 → 𝒒

𝑷𝟑: ∼ 𝒒 𝑺𝒊𝒎𝒑𝒍𝒊𝒇𝒊𝒄𝒂𝒄𝒊ó𝒏 𝒅𝒆 𝑷𝟏

𝑷𝟒: ∼ 𝒑 𝑴𝒐𝒅𝒖𝒔 𝑻𝒐𝒍𝒍𝒆𝒏𝒔 𝒆𝒏𝒕𝒓𝒆 𝑷𝟐 𝒚 𝑷𝟑 (𝑪𝒐𝒏𝒄𝒍𝒖𝒔𝒊ó𝒏)