Demostración por leyes de inferencia

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: Los estudiantes dicen que, los Directores de Curso son personas de las que

Depende el funcionamiento curricular de la Universidad.

. S: Los estudiantes dicen que, 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

Premisa 1: (p⟶q)

Premisa 2: (r∨s)

Premisa 3: (s→¬q)

Premisa 4: ¬t→¬(r∧p)

Conclusión: →t

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