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