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

Descripción del ejercicio 1:

Punto 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.
De acuerdo con la información suministrada responda:
¿Cuántos docentes orientan cursos metodológicos y teóricos, pero no prácticos?
¿Cuántos docentes no orientan cursos prácticos?
¿Cuántos docentes orientan cursos metodológicos o prácticos?
¿Cuántos docentes fueron encuestados?
Respuestas:
 6 docentes orientan cursos metodológicos y teóricos, pero no prácticos.

 61 docentes no orientan cursos prácticos.

 110 docentes orientan cursos metodológicos o prácticos

 133 docentes fueron encuestados

 Ejercicio 2: Métodos para probar la validez de un argumento

Descripción del ejercicio 2:

Punto 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
Proposiciones simples:

p: estudio el material de apoyo

q: obtengo buenas calificaciones
r: apruebo el curso matriculado

Razonamiento en lenguaje natural:

Si estudio el material de apoyo entonces obtengo buenas calificaciones. Si no
estudio el material de apoyo entonces apruebo el curso matriculado. Si no estudio
el material de apoyo ó estudio el material de apoyo. Por tanto, obtengo buenas
calificaciones ó apruebo el curso matriculado.
Tabla de verdad con el simulador Lógica UNAD:

Tabla de verdad manual:

 Resultado de la tabla de verdad: Tautología.

Demostración de validez de argumento mediante leyes de inferencia lógica:
Premisas:
Premisa 1: p ⟶q
Premisa 2: ∼ p ⟶r
Premisa 3: ∼p ∨ p
__________________

Conclusión: q ∨ r

Premisa 5: ∼ (p ∧ ∼p) DM. 3

Premisa 6: p Simp. 5

Premisa 7: q MPP. 1,6

Premisa 8: r MTT. 2,6
Premisa 9: q ∧ r Conj. 7,8

Premisa 10: ∼ (∼q ∨ ∼r) DM. 9

Premisa 11: q ∨ r DN. 10