Universal Instantiation

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


تاربرگ‌های پیموده‌شده در این نشست: contingentist contradiction Nelson Goodman