Intermedia

Tarea 3: Sustentación unidades 1 o 2

Grupo 90004A_613

Presentado por:
Juan Nicolás Gómez Quiroga
Código: 1098747789

Presentado a:
JAVIER ERNESTO RODRÍGUEZ
Tutor – Lógica Matemática

Universidad Nacional Abierta y a Distancia UNAD

Programa Administración de Empresas
Lógica Matemática
CEAD Bucaramanga
2019
 Introducción

El siguiente trabajo presenta 2 ejercicios que han sido desarrollados entorno al aprendizaje
del tema: teoría de conjuntos y métodos para probar validez de argumentos; lo anterior, con
el fin de evidenciar el aprendizaje adquirido en la fase presente del curso.

Objetivos

 Desarrollar y argumentar correctamente el ejercicio sobre teoría de conjuntos

 Aplicar adecuadamente las reglas de inferencia al argumento presentado.
C. En una encuesta realizada a un grupo de docentes de la universidad nacional abierta y a

distancia para determinar la modalidad de los cursos a su cargo entre metodológicos,

teóricos y prácticos se obtuvieron las siguientes respuestas

• 45 docentes orientan cursos únicamente prácticos

• 23 docentes orientan cursos únicamente Teóricos

• 50 docentes orientan cursos metodológicos

• 4 docentes orientan cursos en las tres metodologías

• 10 docentes orientan cursos metodológicos y teóricos

• 8 docentes orientan cursos metodológicos y prácticos, pero no teóricos

• 19 docentes orientan cursos prácticos y teóricos

D P T
D= 133
P= PRACTICA=72
45 15 23 T=TEORICO= 50
M=METODOLOGIA= 50
P Π T = 19
4 P Π M= 12
T Π M= 12
8 8 P Π T Π M=4
P= 72 -25-4-8=45
T= 50-15-4-8= 23
30 M=50-8-4-8= 30
D= 133 – 133 =0
M

RESPUESTA

1. ¿Cuántos docentes orientan cursos metodológicos y teóricos, pero no prácticos?

Rta= 8 Docentes orientan cursos metodológicos y teóricos, pero no prácticos?
2. ¿Cuántos docentes no orientan cursos prácticos?
Rta= 61 Docentes no orientan cursos prácticos

3. ¿Cuántos docentes orientan cursos metodológicos o prácticos?

Rta= 83 docentes orientan cursos metodológicos o prácticos

4. ¿Cuántos docentes fueron encuestados?

Rta= 1433 docentes fueron encuestados
 C. Expresión simbólica:
[ ( p ⟶ q ) ∧ ( ∼ p ⟶ r ) ∧ ( ∼ p ∨ p )]⟶( q ∨r )
Premisas:
P1: p ⟶ q
P2: ∼ p ⟶r
P3: ∼ p ∨ p

Conclusión: q ∨ r

Desarrollo:

Premisas simples:
p: Luis es mayor de edad
q: Carlos es hermano de Luis
r: Carlos tiene una hermana

Razonamiento en lenguaje natural:

Si Luis es mayor de edad, entonces Carlos es hermano de Luis. Si Luis

no es mayor de edad, entonces Carlos tiene una hermana. Luis no es
mayor de edad o es mayor de edad. Por tanto, Carlos es hermano de
Luis o tiene una hermana.

Tabla∼de la verdad:
⟶ ∼ ⟶ ∼ ∨ ⟶ ∧∼ ⟶ ∧∼ ∨ ∨ ⟶ ∧∼ ⟶ ∧∼ ∨ ⟶ ∨

p p q r p q p r p p (p q) ( p r) ( p p) q r [(p q) ( p r) ( p p)] (q r)

v f v v v v v v v v
v f v f v v v v v v
v f f v f v v f v v
v f f f f v v f f v
f v v v v v v v v v
f v v f v f v f v v
f v f v v v v v v v
f v f f v f v f f v
Tabla del simulador:

leyes de inferencia:
P1: p ⟶ q
P2: ∼ p ⟶r
P3: ∼ p ∨ p

4: P MTP (3)

5: q MPP (4) (1)

6: ∼p MTP (3)

7: r MPP (6) (2)

8: q∨r AD (5) (7) CONCLUSION