Descripción del ejercicio: parte E

A continuación, encontrará una serie de situaciones en contextos reales,

las cuales deberán ser analizadas por el estudiante para el desarrollo del
ejercicio 1.

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?

Desarrollo

U= conjunto unión de todas los tutores

C= tutores de catedra
M= tutores de matemáticas
F= tutores de física
  ¿Cuántos tutores se requieren para que oriente Matemáticas
únicamente?
Rta= 0 tutores
  ¿Cuántos tutores se requieren para que orienten
Matemáticas y Catedra Unadista, pero no física?
Rta= 5 tutores

 ¿Cuántos tutores se requieren para que oriente Física

únicamente?
Rta= 1 tutores
  ¿Cuántos tutores se requieren para que oriente Matemáticas
o Física, pero no cátedra unadista?
Rta= 7 tutores
Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 2:

Expresión simbólica:

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

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

Conclusión: 𝒑

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
 p: estudio matemáticas

q: estudio física

r: paso el parcial

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

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

Si no estudio matemáticas entonces estudio física. Si estudio física

entonces paso el parcial. Si no paso el parcial. Por lo tanto estudio
matemáticas.

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

𝒑 𝒒 𝒓 ~𝒑 ~𝒓 (~𝒑 → 𝒒) (𝒒 → 𝒓) [(~𝒑 → 𝒒)
∧ (𝒒 → 𝒓)
∧ (~𝒓)] ⟶ 𝒑

V V V F F V V V

V V F F V V F V

V F V F F V V V

V F F F V F F V

F V V V F V V V

F V F V V V V V

F F V V F V V V

F F F V V F V V

Resultado de la tabla de verdad: TAUTOLOGÍA

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

inferencia lógica
Premisas:

P1: (~𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
P3: (~𝒓)
P4: (~𝒒) MTT en P2 y P3
P5: (𝒑) MTT en P1 y P4

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑