UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

TAREA 5 – SUSTENTACIÓN UNIDADES 1, 2 O 3

POR:
YIZETH MOLINA RODRIGUEZ
NÚMERO DE GRUPO: 200611_1214

TUTOR: YENNY MARISOL CAYACHOA

CIENCIAS SOCIALES ARTES Y HUMANIDADES

PSICOLOGIA
TUNJA
NOVIEMBRE 2018
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

b. En un diplomado de idiomas compuesto por 22 alumnos; 12 estudian Mandarín; 11

estudian inglés y 11 portugués, 6 estudian mandarín e inglés; 7 estudian Inglés y Portugués;
5 estudian mandarín y portugués y 2 estudian los tres idiomas. ¿Cuántos alumnos estudian
sólo inglés? ¿Cuántos estudian mandarín e inglés, pero no portugués? ¿Cuántos estudian
mandarín y portugués, pero no inglés?

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.

SOLUCIÓN:
Diagrama de Venn Euler

Mandarín
Inglés
0 6 0

2
5 7

0
Portugués

Tabla resumen:

Numero Utilidad
2 Mandarín-Ingles-Portugués
6 Mandarín-Ingles
7 Inglés-Portugués
5 Mandarín- Portugués

Para dar soluciona los interrogantes, realizamos las siguientes operaciones:

Entonces, 6 es el número de estudiantes de Mandarín e inglés, como lo indicamos en la
tabla resumen, al cual le restamos 2 que es el número de estudiantes que se estudian en los
tres idiomas (intersección) y como resultado obtenemos 4 que es el número de estudiantes
de Mandarín e inglés.
6-2= 4 - Mandarín e inglés
7-2= 5 Inglés y Portugués
5-2= 3 - Mandarín y Portugués

1. ¿Cuántos alumnos estudian sólo inglés?

11-(4+2+5)= 0

2. ¿Cuántos estudian mandarín e inglés, pero no portugués?

3. ¿Cuántos estudian mandarín y portugués, pero no inglés?

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

b. Expresión simbólica: [(𝑝→𝑞)∧(𝑞→𝑟)⋀(¬𝑟)]→(¬𝑝)

Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: ¬𝑟
Conclusión: ¬𝒑

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

1. 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.
2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante.
 3. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico.
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
5. Demostración de la validez del argumento mediante las leyes de la inferencia
lógica

SOLUCIÓN:
1. Proposiciones simples
p: La ley está aprobada
q: Pago de la licencia de maternidad los primeros 90 días del bebe
r: A todas las madres de Colombia que se encuentren laborando

2. Razonamiento en lenguaje natural:

La ley fue aprobada, entonces se debe pagar la licencia de maternidad los primeros
90 días del bebe, y si se hace el pago de la licencia de maternidad los primeros 90
días del bebe, entonces es a todas las madres de Colombia que se encuentren
laborando, y si no se hace el pago de la licencia de maternidad los primeros 90 días
del bebe, entonces no se estaría cumpliendo con la ley que fue aprobada.

3. Tabla de verdad con el simulador Truth Table

4. Tabla de verdad manualmente en Excel

Para saber el número de columnas de la tabla de verdad utilizamos la formula 2 , donde n

n

es el número de variables en la expresión. En este caso no daría 8 columnas.

p q r ~p (p → q) (q → r) (~ r) {(p → q)^ (q → r)} {(p → q)^ (q → r)} ^ (~ r) {(p → q)^ (q → r)} ^ (~ r) → ~p
1 V V V F V V F V F V
2 V V F F V F V F F V
3 V F V F F V F F F V
4 V F F F F V V F F V
5 F V V V V V F V F V
6 F V F V V F V F F V
7 F F V V V V F V F V
8 F F F V V V V V V V
 5. Validez del argumento mediante las leyes de la inferencia lógica.
Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: ¬𝑟
¬𝒑

5. p S en 1
6. q LC en 1,2
7. ¬r TT en 2, 3
8. ¬p TT en 1