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