eliminación de la disyunción (regla de casos)
XvY
|X
|...
|Z
|Y
|...
|Z
___
Z
explicación
Cada una de las partes de una disyunción se llama "caso". La regla de casos o eliminación de la disyunción consiste en mostrar que los dos casos de una disyunción llevarían a la misma consecuencia, de lo cual se concluye que se va a dar dicha consecuencia, independientemente de cuál es el caso que es cierto. Cuando se afirma una disyunción, se está diciendo que por lo menos uno de los dos casos es cierto, incluso podrían ser los dos casos ciertos .
La regla