Uso de teoremas en la deducción natural

Re: Uso de teoremas en la deducción natural

de Fernando Carpani -
Número de respuestas: 0
Hola.
Si...
Yo creo que es correcto lo que decís.

No es usual que lo veamos, pero es correcto.

Lo que si la derivación D1, no la tenes que tener hecha por allí. Típicamente, de una parte de un ejercicio, o se da como una hipótesis, etc...
No hay Derivaciones Conocidas, como si hay Equivalencias Conocidas.

Habría, por una cuestión de claridad y para simplificar la corrección, aclarar que es la derivación D1 en donde se sustituyó \alpha por \varphi y a \beta por \neg \psi...

Sólo por eso.
Saludos
FDO.