Universal Instantiation
دیسه‌ای
∀α 𝜙α ⊃ 𝜙β
∀α 𝜙α ⊃ 𝜙β


تاربرگ‌های پیموده‌شده در این نشست: De Morgan duality ⟩ tautology ⟩ begging the question ⟩ The Mathematical Analysis of Logic ⟩ Heyting algebra ⟩ George Berkeley