Probar, sin usar la regla Modus Tollens, mediante deducción natural: \( \{p \to q,\lnot q\}\vdash \lnot p \)
Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/
Probar, sin usar la regla Modus Tollens, mediante deducción natural: \( \{p \to q,\lnot q\}\vdash \lnot p \)
Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/