Pensamiento Lógico Matemático

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

Presentado por:

Código:

Grupo:

Tutor:

Universidad Nacional Abierta y a Distancia

(UNAD)

Fecha:
 Introducción

El siguiente trabajo pretende dar a conocer lo aprendido ante las unidades vista anteriormente
mediante la solución de ejercicios propuestos en la Tarea 4 – Sustentación unidades 1, 2 o 3
donde sustentaremos lo aprendido en las unidades de tal manera se pretende fortalecer el nivel de
conocimiento de aprendizaje. De otra parte nos permite aprender sobre el tema mediante el
análisis, la comprensión e interpretación de las lecturas vistas en el entorno de conocimiento.
 Objetivos

Generar

Sustentar lo aprendido en los temas tratados en las unidades 1,2 y 3 a través del desarrollo de
algunos ejercicios

Fortalecer mi nivel de conocimiento sobre las teorías de conjuntos, razonamiento proposicional

y Métodos para probar la validez de un argumento

Específicos

 Identificar conceptos básicos visto en la unidad 1,2,3

 interpretar problemas debidamente contextualizados y aplicar adecuadamente los
elementos y las propiedades operativas de la teoría general de conjuntos.
 Comprender los conceptos fundamentales de la lógica proposicional y aplicarlo
para la resolución de problemas
 Demostrar lo aprendido en la unidad 1,2,3 ponerlo en practica
 Resolver ejercicios de proposiciones del lenguaje natural al lenguaje simbólico
 Realizar ejercicios para determinar el valor de verdad
 Realización de tablas de verdad y comprobarlas con el simulador de la UNAD
 Resolver los ejercicios planteados aplicando las inferencias lógicas
Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

E. La UNAD requiere la vinculación de 29 tutores en las siguientes áreas: 13 tutores de

Matemáticas, 13 Tutores de Física, y 15 tutores de Catedra Unadista. Para el cubrimiento de los
cargos se requiere que 6 tutores orienten Matemáticas y Física, 4 profesores orienten Física y
Catedra Unadista y 5 tutores orienten Matemáticas y Catedra Unadista. 2 tutores deben estar en
la capacidad de orientar los tres cursos.

Determinar:

 ¿Cuántos tutores se requieren para que oriente Matemáticas únicamente?

 ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista,
pero no física?
 ¿Cuántos tutores se requieren para que oriente Física únicamente?
 ¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no
cátedra unadista?
 U=29
M=13
F=13
C=15
M ∩ F= 8
F ∩ C= 6
M ∩ C= 7
M ∩ F ∩ C= 2

M= 13-6-2-5=0
F= 13-6-2-4=1
C= 15-5-2-4= 4
U= 29-22= 7

1. ¿Cuántos tutores se requieren para que oriente Matemáticas únicamente?

R/= 0 tutores se requieren para que oriente Matemáticas únicamente

2. ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista,
pero no física?

R/= 0+5+4= 9 tutores se requieren para que orienten Matemáticas y Catedra Unadista, pero
no física

3. ¿Cuántos tutores se requieren para que oriente Física únicamente?

R/= 1 Tutor se requieren para que oriente Física únicamente

4. ¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no
cátedra unadista?
R/ 0+6+1= 7 Tutores se requieren para que oriente Matemáticas o Física, pero no cátedra
unadista
Ejercicio 2: Métodos para probar la validez de un argumento

Descripción del ejercicio:

e. Expresión simbólica:

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑
Determinación de Premisas:

Premisas:
P1: (~𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
P3: (~𝒓)

Conclusión: 𝒑

Desarrollo:

Proposiciones simples:

p: Marcela estudia ingeniería

q: Marcela hace parte del grupo de investigación

r. Estudia en la UNAD

Razonamiento en lenguaje natural:

Marcela no estudia ingeniería, entonces marcela hace parte del grupo de investigación. Y si
marcela hace parte del grupo de investigación, entonces estudia en la UNAD. Y no es cierto que
estudia en la UNAD. Por lo tanto, marcela estudia ingeniería.
Generar la tabla de verdad manualmente:

p q r ~p ~r (~p→q) (q→r) (~p→q)^(q→r) (~r) (~p→q)^(q→r) ^(~r) (~p→q)^(q→r) ^(~r) →p

v v v f f v v v v v v
v v f f v v f f f f v
v f v f f v v v v v v
v f f f v v v v f f v
f v v v f v v v v v v
f v f v v v f f f f v
f f v v f f v f v f v
f f f v v f v f f f v

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD:
Reglas de inferencia

Premisas:
P1: (~𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
P3: (~𝒓)

Conclusión: 𝒑

P4: ~𝑟 Modus Tollendo Tollens (p3)

P5: q Modus ponendo ponens (p1, p2)

P6: r modus ponendo ponens (p2, p5)

P7: p modus tollendo tollens y simplificación (p1, p) conclusión

 Conclusión

Con el desarrollo de este trabajo se logró cumplir con los objetivos antes mencionados,
resolviendo los ejercicios nos permitió practicar para poder analizar e interpretar a futuro temas
desde Pensamiento Lógico Matemático

La presente actividad nos distribuyó en fortalecer y aprender conceptos básicos de teoría de

conjuntos y prácticos de la unidad de estudio, así mismo, el simulador de la UNAD nos aportó
facilidades para la verificación de los ejercicios de la tabla de verdad
 Bibliografía

(Sánchez, 2014) (Cardona, 2010)

Bibliografía
Cardona, T. S. (2010). ebookcentral-proquest. (E. Elizcom, Ed.) Obtenido de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=10565960&t
m=1491918381547

Sánchez, H. R. (2014). ebookcentral-proquest. (E. Patria, Ed.) Obtenido de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11046169
&tm=1489706134764