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