Está en la página 1de 5

Ejercicio 1: Aplicación de la Teoría de Conjuntos

A partir de la situación que el estudiante haya seleccionado, el


estudiante deberá:

 Representar la información dada en un diagrama de Venn Euler


 Solucionar los interrogantes planteados.

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:

A- Fallas eléctricas 29
B- Fallas de frenos 47
C- Fallas en el tren delantero 46

Las tres fallas 6

Fallas eléctricas y de frenos 13

Fallas de frenos y tren delantero 31

Fallas eléctricas y de tren delantero 10


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

R/ =0 presentaron solo fallas en los frenos

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

R/= 29 o 46 respectivamente

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


tren delantero?

R/= 13 presentaron fallas eléctricas y de frenos


Ejercicio 2: Métodos para probar la validez de un argumento
Descripción del ejercicio:

 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 encontrar proposiciones iguales
entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
 Generar una tabla de verdad con el simulador Truth Table a partir
del lenguaje simbólico (El estudiante encontrará la Guía para el
uso de recursos educativos Simulador TRUTH, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

a. Expresión simbólica: [ ( p ⋀ ¬ q ) ⋀ ( p → q ) ] → ( ¬ p )
Premisas:
P1: p ⋀ ¬ q
P2: p →q

Conclusión: ¬ p

Camilo trabaja y no estudia pero camilo trabaja entonces podrá pagar


su estudio a no ser que Camilo no trabaje.

P1: Camilo trabaja y no estudia

P2: Camilo trabaja entonces podrá pagar su estudio

Conclusión: Camilo no trabaje.


Tabla de verdad manual

P q
¬q ¬ (p^¬q) (p (p^¬q)^ (p [(p^¬q)^ (p
p →q¿ →q¿ → q ¿ ¿ →(¬ p)
V V F F F V F V
V F V F V F F V
F V F V F V F V
F F V V F V F V

P1. (p^¬q)

P2. (p→ q ¿

Conclusión: ¬ p

P3 p S en 1

P4 q MPP en 2

P5 ¬p MTT en 1 y 2

Bibliografía
Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México:
Larousse - Grupo Editorial Patria.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de


sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.