دیسول بوریدان همچنین شناخته شده با: فرمول بوریدان برابر انگلیک (انگلیسی): Buridan formula دیسهای ◊∀𝑥𝐴𝑥 ⊃ ∀𝑥◊𝐴𝑥◊∀xAx ⊃ ∀x◊Ax