Élimination de la Disjonction
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une règle d’inférence (preuve par cas) qui permet de dériver C à partir de A ∨ B conjointement avec une dérivation de C sous l’hypothèse A et une dérivation de C sous l’hypothèse B. Formellement : de A ∨ B, [A ⇒ C], [B ⇒ C] inférer C.