Introducción de la disyunción

Introducción de la disyunción o adición^[1]​^[2]​^[3]​ es una simple forma de argumento válido, una inferencia inmediata y una regla de inferencia de la lógica proposicional. La regla hace posible la introducción de disyunciones de pruebas lógicas. Es la inferencia de que si P es verdad, entonces P o Q tiene que ser verdad.

La regla se puede expresar como:

donde la regla es que cada vez que aparecen las instancias de "${displaystyle P}$" en las líneas de se puede colocar en una prueba, "${displaystyle Plor Q}$" en una línea posterior.

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 (es decir, todo se vuelve demostrable). Ver compensaciones en la lógica paraconsistente.

La regla de introducción de la disyunción puede escribirse en la notación subsiguiente:

donde ${displaystyle vdash }$ es un símbolo metalógico que significa que ${displaystyle Plor Q}$ es una consecuencia sintáctica de ${displaystyle P}$ en algún sistema lógico;

y se expresa como una tautología funcional verdadera o teorema de la lógica proposicional:

donde ${displaystyle P}$ y ${displaystyle Q}$ son proposiciones expresadas en algún sistema formal.