Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento

dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)

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

curso de Química General como electivo deben asistir al componente práctico. Sofía 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. Si
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.”

Solución

P= Las prácticas del laboratorio son el domingo

Q= asiste a la universidad

R=realiza los experimentos

T=entrega el informe del laboratorio

S= obtiene un puntaje sumatorio a la nota

Conclusion: (-RV P) por lo tanto, no realizo los experimentos o las practicas del

laboratorio no son el próximo domingo.

Negación

~P= la practicas no son el domingo

~Q= Sofía no realiza los experimentos

~S= no obtiene un puntaje sumatorio a la nota

Primicia y conclusión

Primicia 1 Si las prácticas de laboratorio son el próximo domingo entonces asisto a la

universidad

Primicia 2 Si realizo los experimentos entonces entrego el informe de laboratorio

Primicia 3 Si asisto a la universidad y entrego el informe de laboratorio, entonces obtengo

un

Puntaje sumativo para la nota

Conclusión 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.”

Primicia 1 (p → q)

Primicia 2 (r → t)

Primicia 3 (q ∧ t) → s

Primicia 4 ~ s

Conclusión: : (-RV P)

:
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

Conclusión (~s ↔ ~Q) v ~P

Formula {(p→ q) ∧ (r → t) ∧ (q ∧ t) → s } → ( ~s ↔ ~Q) v ~p

Formula de variables: 2 n 25 2x2x2x2x2=32

Tabla De Verdad
 Simulador Truth Table

Primicia 1 (p → q)

Primicia 2 (r → t)

Primicia 3 (q ∧ t) → s

Conclusión: (~s ↔ ~q) v ~P

Modus Ponendo Ponens

Premisa 4: s modus Ponendo Ponens

(q∧t) →s
(q∧ t)
__________________
Q s

premisa 4: t

(r → t)
R
_________________
Q t