Propriété de la Disjonction

Propriété métathéorique d’un système déductif affirmant que chaque fois que le système démontre une disjonction A ∨ B (généralement une formule close), il démontre A ou il démontre B séparément ; exigence fréquente des systèmes constructifs.