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