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