A modo de ejemplo: La regla se puede expresar como: donde la regla es que cada vez que aparecen las instancias de
en las líneas de se puede colocar en una prueba,
En la lógica paraconsistente, la introducción de la disyunción es controversial porque, en combinación con otras reglas de la lógica, conduce a la explosión: todo se vuelve demostrable (véase compensaciones en la lógica paraconsistente).
en algún sistema lógico; y se expresa como una tautología funcional verdadera o teorema de la lógica proposicional: donde
son proposiciones expresadas en algún sistema formal.