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