PENSAMIENTO LÓGICO Y MATEMÁTICO

SUSTENTACION UNIDADES 1-2 -3

200611B_474

ESTUDIANTE

MONICA SABOGAL TELLEZ

ROGER RICARDO NEGRETE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

2018
 Sustentación unidades 1, 2 o 3

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

C. 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. ¿Cuántos usan solo Power Point?, ¿Cuántas usan Excel o Word,
pero no Power Point?, ¿Cuántas personas fueron encuestadas en total?

27 usan power point

37 usan Word
43 usan Excel
21 power point y Word
24 usan Word y Excel
19 usan power point y Excel
15 usan los tres programas

Nomenclatura
PP: power point
WD: Word
EXC: Excel
 U PP

27

21 19
15

24 43
37

WD
EXC

¿Cuántos usan solo power point? 27

¿Cuántos usan Excel o Word pero no power point? 24
¿Cuantas personas fueron encuestadas en total? 186
Ejercicio 2: Métodos para probar la validez de un argumento

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.

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

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑞
P3: ¬𝑞

Conclusión: 𝒒

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

natural.

P: participar activamente
Q: saco buenas calificaciones

Si participo activamente entonces saco buenas calificaciones y si participo

activamente o saco buenas calificaciones apruebo el curso de lógica
matemática, y si no participo activamente no saco buenas calificaciones por
consiguiente repruebo la materia.

2. Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
 Tabla simulador Truth table

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

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

expression is a tautology

3. Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(En Word, Excel o foto del desarrollo manual).

P q ¬q [(p →q) (pVq) (¬q)] →(q)

V V F V V F V
V F V F V V V
F V F V V F V
f f v v f f V

4. Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

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

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑞
P3: ¬𝑞

Conclusión: 𝒒

Silogismo disyuntivo
 BIBLIOGRAFIA

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