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