Lógica matemática (unidad 1y 2)

María valentina Cerinza Salazar.

Noviembre 2018.

Universidad nacional abierta y a distancia UNAD.

Cundinamarca.
Introducción a la administración de empresas
 ii
Abstracto

En este documento se dará solución a dos puntos referentes a la guía una y dos de lógica
matemática previstos y así demostrar el logro de aprendizaje del mismo.
.
 iii

Tabla de Contenidos

Capítulo 1 Aplicación de la teoria de conjuntos ................................................................ 1

capítulo 2 Métodos para probar la validez de un argumento 1
Referencias bibliográficas 4
 1

Capítulo 1

aplicación de la teoría de conjuntos

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

Para el desarrollar esta tarea, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias
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?

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.

 29 presentaron fallas eléctricas,

 47 presentaron fallas en los frenos,
 46 presentaron fallas en el tren delantero, a
 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
 10 presentaron fallas eléctricas y de tren delantero.
 2

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

R// 11

¿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
 3

Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de esta tarea, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 2),

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la
conclusión de un argumento para el desarrollo del ejercicio 2:

d) Expresión simbólica: [(𝑝⋀¬𝑞)⋀(𝑝 → 𝑞)] → (¬𝑝)

Premisas:
P1: 𝑝⋀¬𝑞
P2: 𝑝 → 𝑞

Conclusión: ¬𝒑

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla
bajo una descripción basada en un contexto, el que se solicita es
un contexto académico, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

 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
 4

iguales entre estudiantes se considerara como copia y se

tomaran las medidas correctivas estipuladas por la UNAD.

[(𝑝⋀¬𝑞 )⋀(𝑝 → 𝑞 )] → (¬𝑝)

P: Maria estudia en la UNAD

q: La UNAD es una universidad Publica

María estudia en la UNAD, pero no es una universidad Pública, y si

maría estudia en la UNAD, entonces es una universidad publica

Maria estudia en la UNAD Y la UNAD no es una universidad publica y

si maría estudia en la UNAD entonces es una universidad publica.

 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)

Link de simulador:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
 5

 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
 6

LEY DE SIMPLIFICACIÓN

P1: 𝑝⋀¬𝑞

P2: 𝑝 → 𝑞

Referencias bibliográficas
 7

Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En

ProQuest ebrary (Ed). Aciertos matemáticos 11: serie para la educación
media. (pp. 20 -24).

Wagner, M. (2016). Lógica conjuntos 1, [Video]

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y

teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]