Introduction of an assumption
دیسه‌ای
𝐴⊃(𝐵⊃𝐴)
A⊃(B⊃A)


تاربرگ‌های پیموده‌شده در این نشست: nominalism ⟩ denote ⟩ the doctrine of predicative judgment ⟩ Organon ⟩ justified ⟩ denote