title: Introducción de la disyunción
text: # Introducción de la disyunción
  
  Introducción de la disyunción o adición 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.
  
      Sócrates es un hombre.
      Por lo tanto, o bien Sócrates es un hombre o unos cerdos están volando en formación sobre el canal inglés.
  
  La regla se puede expresar como:
  
      ${\frac {P}{\therefore P\lor Q}}$
  
  donde la regla es que cada vez que aparecen las instancias de "$P$" en las líneas de se puede colocar en una prueba, "$P\lor 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.
  
  ## Notación formal
  
  La regla de introducción de la disyunción puede escribirse en la notación subsiguiente:
  
      $P\vdash (P\lor Q)$
  
  donde $\vdash$ es un símbolo metalógico que significa que $P\lor Q$ es una consecuencia sintáctica de $P$ en algún sistema lógico;
  
  y se expresa como una tautología funcional verdadera o teorema de la lógica proposicional:
  
      $P\to (P\lor Q)$
  
  donde $P$ y $Q$ son proposiciones expresadas en algún sistema formal.
  
  