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

Daniel Felipe Antolínez Amador Grupo 200611_346

Abril 2020

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)

Pensamiento Lógico Matemático

 SOLUCION EJERCICIO 1

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?

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

U=29 F=13

M=13 C=15

M∩F=6 F∩C=4

M∩C=5 M∩F∩C=2

M=13-6-2-5= 0 F=13-6-2-4= 1

C=15-4-2-5= 4 U=29-22 = 7

• Solucionar los interrogantes planteados.

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

 Rta: 0 tutores se requieren para que orienten Matemática solamente

 ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista, pero

no física?

Rta: 5 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?

Rta: 1 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?

Rta: 7 tutores se requieren para que oriente Matemáticas o Física, pero no cátedra unadista.

SOLUCION EJERCICIO 2

Expresión simbólica: [(p→q)⋀(q→r)⋀(p∧s)]→(r)

Premisas:

P1: p→q

P2: q→r

P3: p∧s

Conclusión: r

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

p: Estudio todos los días

 q: Paso la prueba

r: paso la materia

s: Me gradúo de la universidad

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

Estudio todos los días entonces paso la prueba y si paso la prueba entonces paso la materia y si

estudio todos los días entonces me gradúo de la universidad entonces pase la materia.

 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)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

⟶ ⟶𝑟 ⟶ 𝑟 ⋀ ⋀ ∧

p q r s (p q) (q ) (p s) ( ) [(p→q) (q→r) (p s)]→(r)

V V V V V V V V V
V V V F V V F V V
V V F V V F V F V
V V F F V F F F V
V F V V F V V V V
V F V F F V F V V
V F F V F F V F V
V F F F F F F F V
F V V V V V V V V
F V V F V V F V V
F V F V V F V F V
F V F F V F F F V
F F V V F V V V V
F F V F F V F V V
F F F V F F V F F
F F F F F F F F F

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

 El argumento es Contingencia

REFERENCIAS BIBLIOGRAFICAS

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:

Grupo Editorial Patria. (pp. 61-65.). Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:

Grupo Editorial Patria. (pp. 80 - 84). Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co

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