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