Eliminación de la Disyunción
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla de inferencia (prueba por casos) que permite derivar C a partir de A ∨ B junto con una derivación de C bajo la suposición A y otra derivación de C bajo la suposición B. Formalmente: de A ∨ B, [A ⇒ C], [B ⇒ C] inferir C.