Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el

curso de Física General deben asistir al componente práctico. Marcela hace el siguiente
análisis de la situación que se le ha presentado al conocer las fechas en que debe asistir.
“Si las prácticas de laboratorio son el próximo domingo entonces asisto a la
universidad. Si realizo los experimentos entonces entrego el informe de laboratorio.
Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje
sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto no
realizo los experimentos o las prácticas de laboratorio no son el próximo domingo”.
Determinar con el uso de las dos formas de la tabla de verdad la validez del
razonamiento y hacerlo también con el uso de las leyes o reglas de inferencia.

P: Practicas el domingo.

Q: Asistir a la universidad.

R: Realizar los experimentos.

S: Entregar el informe.

T: Obtengo un puntaje sumativo para la nota.

Premisa 1: p  q

Premisa 2: r  s

Premisa 3: (q  s)  t

Conclusión: (~r  ~p)

{ [ (p  q)  (r  s) ]  [ (q  s)  t ]  ~t } (~r  ~p) 2 5 = 32

Leyes de Indiferencia.

5 MPP (3-4): [ (q  s)  t ]  ~t } (~q  ~s)

6 Simp (5): -q
7 Simp (5): - s
8 MPP (1-6): [ (p  q)  ~q]  ~p
9 MPP (2-7): [ (r  s)  ~s]  r
10 Adici (8-9): (~r~p)