Eliminación de la disyunción

En lógica proposicional, la eliminación de la disyunción[1]​[2]​[3]​ (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica.Es la inferencia de que la afirmaciónLa razón es simple: si al menos una de las afirmaciones P y R son verdaderas, y puesto que al menos una de ellas es suficiente para confirmar Q, entonces Q es ciertamente correcto.Es decir, la regla se puede definir como: Donde la regla es que cada vez que las instancias "" aparezcan en una línea de evidencia, "" puede colocarse en la línea subsiguiente.La regla para la eliminación de la disyunción puede escribirse en la notación subsiguiente: dondees una consecuencia sintáctica deen algún sistema lógico; o expresado como una declaración de verdadera tautología funcional o teorema de la lógica proposicional: dondeson proposiciones expresadas en algún sistema formal.