UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

SUSTENTACION UNIDADES 1 O 2

ANGIE LISETH PLAZAS CASTAÑO- 90004_28

TUTOR: WILLIAM SALAZAR

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y

NEGOCIOS

LÓGICA MATEMÁTICA

ADMINISTRACIÓN DE EMPRESAS

NEIVA HUILA
 ACTIVIDADES A DESARROLLAR

La tarea de esta guía se compone de una serie de ejercicios que se describen a continuación:

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

A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán
ser analizadas por el estudiante para el desarrollo del ejercicio 1

a. Se aplica una encuesta a diferentes usuarios de office 2010, sobre el uso de los
programas que le componen, obteniendo la siguiente información: 27 usan Power
Point, 37 usan Word, 43 usan Excel, 21 usan Power Point y Word, 24 usan Word y
Excel, 19 usan Power Point y Excel, 15 usan los tres programas.

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

U
Power Point Word
2 6 7
15
4 9
15
Excel

 Solucionar los interrogantes planteados.

¿Cuántos usan solo Power Point? Rta/ 2 solo usan Power Point
¿Cuántas usan Excel o Word, pero no Power Point? Rta/ 9 usan Excel o Word
¿Cuántas personas fueron encuestadas en total? Rta/ 58 fueron los encuestados.
Ejercicio 2: Métodos para probar la validez de un argumento

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 2:

C. Expresión simbólica: [(𝑝 → 𝑞)⋀(𝑝 ∨ 𝑞)⋀(¬𝑞)] → (𝑞)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑞
P3: ¬𝑞
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.

p: Hago la tarea de lógica matemática

q: Salgo hablar con mis amigos

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si hago la tarea de lógica matemática entonces salgo hablar con mis amigos. hago la
tarea de lógica matemática o salgo hablar con mis amigos. No salgo hablar con mis
amigos entonces hago la tarea de lógica matemática.

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q (𝑝 → 𝑞) (𝑝 ∨ 𝑞) (¬𝑞) → (𝑞) (𝑝 → 𝑞)⋀(𝑝 ∨ 𝑞) [(𝑝 → 𝑞)⋀(𝑝 ∨ 𝑞)⋀(¬𝑞)] [(𝑝 → 𝑞)⋀(𝑝 ∨ 𝑞)⋀(¬𝑞)] → (𝑞)

V V V V F V V F V

V F F V F F F F V

F V V V V V V F V

F F V F V F F F V

Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑞
P3: ¬𝑞
_______________
P4: ¬p MT 1,3
P5: q SD 2,4 Conclusión: q
 BIBLIOGRFIA

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