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