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