Metadata
Author: Literature
Data
English[en]
For example, if we removed the biconditional elimination rule, the proof in the preceding section would not go through.
Spanish[es]
Por ejemplo, si suprimimos la regla de eliminación de la bicondicional la prueba de la sección anterior no avanzaría.