Universidad Nacional Abierta y a Distancia – UNAD

Escuela Administrativas, Contables, Economicas De Negocios-ECACEN

Curso: Pensamiento Logico Matematico Grupo: 200611B_474

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?

R// 9

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

R// 4

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

delantero?

R// 7
 Universidad Nacional Abierta y a Distancia – UNAD
Escuela Administrativas, Contables, Economicas De Negocios-ECACEN
Curso: Pensamiento Logico Matematico Grupo: 200611B_474

EꓵFꓵD = 6 Vehículos tuvieron las 3 fallas

EꓵF = 13 – 6 = 7 Eléctricas y Frenos

FꓵD = 31 – 6 = 25 Frenos Y Tren Delantero

EꓵD = 10 - 6 = 4 Eléctricas y Tren Delantero

E=29 F=47 E=29

F=47
7
12 9 D=46

EꓵFꓵD=6
6

4 25 EꓵF=13

FꓵD=31

D=46 11 EꓵD=10
 Universidad Nacional Abierta y a Distancia – UNAD
Escuela Administrativas, Contables, Economicas De Negocios-ECACEN
Curso: Pensamiento Logico Matematico Grupo: 200611B_474

D. Expresión simbólica: [(p⋀~q) ⋀ (p→q)]→(~p)

Premisas:

P1: p⋀~q

P2: p→q

Conclusión: ~p

Premisa simple:

p: Si hoy es martes

q: mañana es miércoles

Razonamiento en lenguaje natural:

Si hoy es martes y mañana no es miércoles, y si mañana es martes entonces es miércoles. No

es martes.
 Universidad Nacional Abierta y a Distancia – UNAD
Escuela Administrativas, Contables, Economicas De Negocios-ECACEN
Curso: Pensamiento Logico Matematico Grupo: 200611B_474

Truth Table

p q [(p Λ ¬q) Λ (p→ q)] →(¬p)

T T T
T F T
F T T
F F T

expression is a tautology
 Universidad Nacional Abierta y a Distancia – UNAD
Escuela Administrativas, Contables, Economicas De Negocios-ECACEN
Curso: Pensamiento Logico Matematico Grupo: 200611B_474

Leyes de inferencia:

𝑷𝟏: 𝑝⋀~𝑞

𝑷𝟐: 𝑝→𝑞

__________________

𝑷𝟑: ~𝑞 S (1)

𝑷𝟒: 𝑝 S (1)

𝑷𝟓: ~𝑝 MTT (2)(3) CONCLUSIÓN