Probar, sin usar la regla de introducción de la doble negación, mediante deducción natural: \( \{ p \} \vdash \lnot \lnot p \)
Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/