A continuación, se presentan cinco fórmulas lógicas. Las cuatro primeras representan a las premisas y la última representa a la conclusión de un argumento.
\(P_1:\ r\ \vee\ (\ \sim p\ \wedge\ \sim q\ )\)
\(P_2:\ (\ \sim r\ \wedge\ q\ )\ \rightarrow\ (\ s\ \vee\ t\ )\)
\(P_3:\ \sim p\ \rightarrow\ q\)
\(P_4:\ \sim s\ \leftrightarrow\ \sim t\)
\(C:\ (\ p\ \wedge\ q\ )\ \rightarrow\ (\ s\ \vee\ t\ )\)
En base a la información dada, se pide lo siguiente:
Parte a.
Simbolice el argumento en forma condicional.
Parte b.
Determine la validez del argumento mediante el método que considere apropiado.
VER SOLUCIÓN