Introduction de la Disjonction
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une règle d’inférence qui permet d’inférer une disjonction A ∨ B à partir d’une preuve de l’un de ses disjoncts (de A inférer A ∨ B, ou de B inférer A ∨ B).