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