Propiedad de Disyunción

Una propiedad metateorética de un sistema deductivo que establece que siempre que el sistema demuestra una disyunción A ∨ B (típicamente una fórmula cerrada), demuestra A o demuestra B de forma individual; es una exigencia común en sistemas constructivos.