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