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