Tarea 4 - Sustentación

Ana Milena Camargo Reyes

CC.: 1070611380

Grupo: 200611_38

Mayo-2020

Universidad Nacional Abierta y a Distancia- UNAD

Girardot

Pensamiento Lógico y Matemático

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

D. 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 en inglés, pero no portugués?
¿Cuántos estudian mandarín o portugués, pero no inglés?
Rta:
U:22 M:12 I:11 P:11
M∩I: 4 I∩P:5 M∩P:3 M∩I∩P:2
M:12-4-2-3=3 I:11-4-2-5=O P:11-5-2-3=1
U:22-18=4 los estudiantes que no estudian ningún idioma
SM:18

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

RTA:
o ¿Cuántos alumnos estudian sólo inglés?
Rta: Ninguno.

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

RTA: 4 estudian mandarín en inglés, pero no portugués.

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

RTA: 3 estudian mandarín o portugués, pero no inglés.
Ejercicio 2: Métodos para probar la validez de un argumento

D. Expresión simbólica: [ ( p →q ) ∧ ( q → r ) ⋀ ( ¬r ) ] → ( ¬ p )
Premisas:
P1: p →q
P2: q → r
P3: ¬ r
Conclusión: ¬ p

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

RTA:

P: Ster trabaja

Q: Gana dinero

R: paga las Deudas

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 iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

Rta: [ ( p →q ) ∧ ( q → r ) ⋀ ( ¬r ) ] → ( ¬ p )
Si Stefanny trabaja entonces gana dinero y si gana dinero entonces paga las deudas y si no paga
las deudas Stefanny no trabaja.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
Rta:

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
Rta:

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

Rta:

La Proposición es una Tautología.

Premisas:
 P1: p →q
P2: q → r
P3: ¬ r
Rta:
P4= p →r Silogismo Hipotético (SH) P1,P2
P5=¬ p Modus Tollendo Tollens (TT) P4,P3
Conclusión: ¬ p

Referencias
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78
- 99). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81
Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse - Grupo Editorial
Patria. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3229101&ppg=15