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