هاگرد دیسول بوریدان

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