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


تاربرگ‌های پیموده‌شده در این نشست: Jakarta Enterprise ⟩ integral numbers ⟩ Axiom of Empty set ⟩ invertibility ⟩ syllogismhood ⟩ The Mathematical Analysis of Logic