8.3 Otras formas de demostrar validez

La deducción natural es una forma de demostrar la validez de un secuente, pero hay más. Otras son: