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

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


تاربرگ‌های پیموده‌شده در این نشست: On the completeness of the calculus of logic On a Property of the Collection of All Real Algebraic Numbers Semantic theories هم‌نهادی پیشینی