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


تاربرگ‌های پیموده‌شده در این نشست: همانگویی ⟩ خوشبختی ⟩ افشین پوریا ⟩ زبان‌های برنامه‌نویسی ⟩ واکاوی انگارشیک گویایی ⟩ تورالف اسکولم