دیسول‌های سگالشی در گوییک سویی چندی‌گذارده
همچنین شناخته شده با: فرمول‌های بحث برانگیز در منطق موجهات محمولاتی
برابر انگلیک (انگلیسی): Controversial formulas in Quantified Modal Logic

1.∀α′(∀α 𝜙α ⊃ 𝜙α′) ∀α′(∀α 𝜙α ⊃ 𝜙α′) forall α′(forall α 𝜙α → 𝜙α′)بستار هرگانی✹
2.∀α 𝜙α ⊃ 𝜙β ∀α 𝜙α ⊃ 𝜙β forall α 𝜙α → 𝜙βنمونه‌سازی هرگانی✹
3.∀α𝜙α ⊃ ∃α𝜙α ∀α𝜙α ⊃ ∃α𝜙α forall α𝜙α → forsome existsα𝜙αهمخلیدگی✹
4.∀α□𝜙α ⊃ □∀α𝜙α ∀α□𝜙α ⊃ □∀α𝜙α forall α□𝜙α → □forall α𝜙αدیسول بارکن✹
5.□∀α𝜙α ⊃ ∀α□𝜙α □∀α𝜙α ⊃ ∀α□𝜙α □forall α𝜙α → forall α□𝜙αهاگرد دیسول بارکن✹
6.◇∀α𝜙α ⊃ ∀α ◇𝜙α ◇∀α𝜙α ⊃ ∀α ◇𝜙α ◇forall α𝜙α → forall α ◇𝜙αدیسول بوریدان✹
7.∀α◇𝜙α ⊃ ◇∀α𝜙α ∀α◇𝜙α ⊃ ◇∀α𝜙α forall α◇𝜙α → ◇forall α𝜙αهاگرد دیسول بوریدان✹