داراک واجوهش همچنین شناخته شده با: ویژگی فصل برابر انگلیک (انگلیسی): disjunction property دیسهای ⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 𝑜𝑟 ⊢ 𝜓⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 or ⊢ 𝜓