Tarea 4 – Sustentación unidades 1, 2 o 3

Ejercicio #1 y 2 enciso D.

Estudiante: Elsy Margarita Herrera González

Código: 35143339

Grupo: 200611_950

Tutor: Yimmer Camilo Vargas

Universidad Nacional Abierta y a Distancia

Abril de 2020
 Introducción

En el presente trabajo se muestra como el estudiante se apropia de las unidades 1, 2 y 3, de

pensamiento lógico, donde pone en práctica los conocimientos de análisis y comprensión

de las operaciones entre conjuntos, diseño e interpretación de los conjuntos en el diagrama

de Venn Euler., demostraciones de validez del argumento mediante las leyes de la

inferencia lógica, definición de las proposiciones simples con expresión simbólicamente y

el diseño e interpretación tablas de verdad a través de un lenguaje simbólico.

 Objetivos

Objetivo general

Desarrollar habilidades en el manejo de las unidades 1, 2 y3 de pensamiento lógica matemática,

siendo capaz de desarrollar ejercicios de acuerdo a los conocimientos adquiridos en las unidades

vistas.

Objetivos específicos

 Resolver problemas utilizando los conocimientos aprendidos en las unidades 1,2 y3

 Realizar definición de las proposiciones simples y expresarla simbólicamente.

 Crear e Interpretar tablas de verdad a través de un lenguaje simbólico expresado en pensamiento

lógico matemática.
Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

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 o
portugués, pero no inglés?

12 Alumnos están estudiando Mandarín;

11 Alumnos están estudiando inglés

11 Alumnos están estudiando portugués

6 Alumnos están estudiando mandarín e inglés;

7 Alumnos están estudiando inglés y portugués;

5 Alumnos están estudiando mandarín y portugués

2 Alumnos están estudiando los tres idiomas.

Total de estudiantes = 22

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

Solucionar los interrogantes planteados.

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

Cantidad = 11-2-4-5 = 0

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

Cantidad = 6-2 =4

-¿Cuántos estudian mandarín o portugués, pero no inglés?

Cantidad = 5-2 = 3
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:

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

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

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

Premisas:
P1: 𝑝→𝑞 Elsy va al aula virtual, si Felipe está en el aula virtual.
P2: 𝑞→𝑟 Felipe está en el aula virtual, si Eduardo está clases virtuales.
P3: ¬𝑟 Felipe no está en el aula virtual.
Conclusión: ¬𝒑 Elsy no va al aula virtual.

Proposiciones

P. Elsy va al aula virtual,

Q Felipe está en el aula virtual,
R Eduardo esta en clases virtuales.

Lenguaje natural
Elsy va al aula virtual, si Felipe está en el aula virtual. Felipe está en el aula virtual, si Eduardo
esta en clases virtuales. Felipe no está en clases virtuales, Elsy no va a clases virtuales.

Ley de inferencia

Premisa 1 𝑝→𝑞

Premisa 2 𝑞→𝑟

Premisa 3 ¬𝑟

4 𝑝→r (SH) (1), (2)

5 ¬𝑝 (MTT) (4), (3) CONCLUSION

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

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

¬ ¬ P→ Q→ (P→Q)∧(P→ ¬ [(𝑝→𝑞)∧(𝑞→𝑟)⋀( [(𝑝→𝑞)∧(𝑞→𝑟)⋀(¬𝑟)]→

P Q R
P R Q R Q) R ¬𝑟)] (¬P)
V V V F F V V V F F F
V V F F V V F F V F F
V F V F F F V F F F F
V F F F V F F F V F F
F V V V F V V V F F V
F V F V V V F F V F V
F F V V F F V F F F V
F F F V V F F F V F V
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

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