Probar mediante deducción natural: \( \{p \to q\} \vdash (q \to r) \to ((r \to s) \to (\lnot s \to \lnot p)) \)
Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/
Probar mediante deducción natural: \( \{p \to q\} \vdash (q \to r) \to ((r \to s) \to (\lnot s \to \lnot p)) \)
Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/