nuevo ejercicio para raul corregido

El Director del Curso de Pensamiento Lógico y Matemático de la Universidad UNAD es el encargado de muchas de las labores más importantes. Si es así, entonces ser Director de Curso es un cargo difícil de manejar. Los estudiantes dicen que, o los Directores de Curso son personas de las que depende el funcionamiento curricular de la Universidad, o que sólo se dedican a aprobar y reprobar a losestudiantes. Pero si ellos sólo se dedican a aprobar y reprobar a los estudiantes, entonces ser Director de Curso no es un cargo difícil de manejar. Además, si la Dirección de Curso Académico no es un cargo que sólo quienes se han preparado para ello lo merecen, entonces sería falso que los estudiantes digan que los Directores de Curso son personas de las que depende la Universidad y que el Directorde Curso es el encargado de muchas de las labores más importantes. Por lo tanto, la Dirección de Curso Académico es un cargo que sólo quienes se han preparado para ello lo merecen


Proposiciones:

p: El Director del Curso de Pensamiento Lógico y Matemático de la Universidad UNAD es el encargado de muchas de las labores más importantes
q: ser Director de Curso es un cargo difícil de manejar
r: losDirectores de Curso son personas de las que depende el funcionamiento curricular de la Universidad
s: los Directores de Curso sólo se dedican a aprobar y reprobar a los estudiantes
t: la Dirección de Curso Académico es un cargo que sólo quienes se han preparado para ello lo merecen

Premisas:

Premisa 1: El Director del Curso de Pensamiento Lógico y Matemático de la Universidad UNAD es elencargado de muchas de las labores más importantes.

Premisa 2 : Si es así, entonces ser Director de Curso es un cargo difícil de manejar

Premisa 3: Los estudiantes dicen que, o los Directores de Curso son personas de las que depende el funcionamiento curricular de la Universidad, o que sólo se dedican a aprobar y reprobar a los estudiantes

Premisa 4: si ellos sólo se dedican a aprobar y reprobar alos estudiantes, entonces ser Director de Curso no es un cargo difícil de manejar

Premisa 5: si la Dirección de Curso Académico no es un cargo que sólo quienes se han preparado para ello lo merecen, entonces sería falso que los estudiantes digan que los Directores de Curso son personas de las que depende la Universidad y que el Director de Curso es el encargado de muchas de las labores másimportantes

Conclusión: la Dirección de Curso Académico es un cargo que sólo quienes se han preparado para ello lo merecen

Premisas en lenguaje formal:
Premisa 1: p
Premisa 2: p → q
Premisa 3: r ∨ s
Premisa 4: s → ¬q
Premisa 5: ¬ t →¬ ( r ∧ p)
Conclusión: t

Expresión formal del razonamiento:
[ p ∧ (p → q) ∧ (r ∨ s ) ∧ (s → ¬q) ∧ (¬ t → ¬ ( r ∧ p)) ]→ tDemostración por tabla de verdad:
P
Q
R
S
T
~Q
~T
p → q
r ∨ s
s → ¬q
r ∧ p
¬ ( r ∧ p)
¬ t → ¬ ( r ∧ p)
p ∧ (p → q) ∧ (r ∨ s ) ∧ (s → ¬q) ∧ (¬ t → ¬ ( r ∧ p))

[ p ∧ (p → q) ∧ (r ∨ s ) ∧ (s → ¬q) ∧ (¬ t → ¬ ( r ∧ p)) ]→ t

V
V
V
V
V
F
F
V
V
F
V
F
V
F
V
V
V
V
V
F
F
V
V
V
F
V
F
F
F
V
V
V
V
F
V
F
F
V
V
V
V
F
V
V
V
V
V
V
F
F
F
V
V
V
V
V
F
V
F
V
V
V
F
V
V
F
F
V
V
F
F
V
V
F
VV
V
F
V
F
F
V
V
V
F
F
V
V
F
V
V
V
F
F
V
F
F
V
F
V
F
V
V
F
V
V
V
F
F
F
F
V
V
F
V
F
V
V
F
V
V
F
V
V
V
V
F
F
V
V
V
F
V
F
V
V
F
V
V
F
V
V
F
V
V
V
F
F
F
V
V
F
V
F
V
V
F
F
V
V
V
F
V
F
V
V
F
V
F
F
V
V
F
V
V
V
F
F
F
V
V
F
F
V
V
V
F
F
V
V
F
V
V
F
V
V
F
F
V
F
V
V
F
V
V
F
V
V
F
V
V
F
F
F
V
V
F
F
F
V
F
V
V
F
V
V
F
F
F
F
V
V
F
F
V
F
V
V
F
V
F
V
V
V
V
F
F
V
V
F
F
V
V
f
V
F
V
V
V
F
F
V
V
V
F
F
V
V
F
V
F
V
V
F
VF
F
V
V
V
F
V
V
F
V
F
V
V
F
F
F
V
V
V
V
F
V
V
F
V
F
V
F
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
F
V
V
V
F
F
V
V
F
V
F
V
F
F
V
F
F
V
F
V
F
V
V
f
V
F
V
F
F
F
F
V
V
F
V
F
V
V
F
V
F
F
V
V
V
V
F
V
V
V
F
V
V
F
V
F
F
V
V
F
V
V
V
V
V
F
V
V
F
V
F
F
V
F
V
V
F
V
V
V
F
V
V
f
V
F
F
V
F
F
V
V
V
V
V
F
V
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V
F
V
F
F
F
V
F
V
V
V
V
V
F
V
V
F
V
F
F
F
F
V
V
F
V
F
V
F
V
V
F
V
F
F
F
F
F
V
V
V
F...