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