Prueba formal de$P\to Q, (P\to Q)\to (T\to S), \neg Q, P\lor T\vdash S$

Question

Este es un ejemplo de las preguntas del examen que me pregunto si hice bien? No nos dieron una respuesta clave, así que estoy revisando para asegurarme de que estoy con la comprensión del material y si mi respuesta es correcta?

Instalaciones: P $\Rightarrow$ Q, (P $\Rightarrow$ P) $\Rightarrow$ (T $\Rightarrow$ S), $\lnot$Q, P $\lor$ T

Conclusión: S

Mi respuesta:

1. P $\Rightarrow$ P: Dado

2. (P $\Rightarrow$ P) $\Rightarrow$ (T $\Rightarrow$ S): Dado

3. $\lnot$P: Dado

4. P $\lor$ T: Dado

5. T $\Rightarrow$ S: Modus Ponens 1 y 2

6. $\lnot$P: Modus Tollens 1 y 3

7. T: Disyuntiva Silogismo 4 y 6

8. S: Modus Ponens 5 y 7

Answer 1

La prueba parece estar bien. Esta es una publicación de la wiki de la comunidad para que la pregunta no esté marcada como no contestada.