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


تاربرگ‌های پیموده‌شده در این نشست: Ernst Friedrich Ferdinand Zermelo ⟩ Tractatus Logico-Philosophicus ⟩ Ordinary language philosophy ⟩ the Journal of Symbolic Logic ⟩ Zur Logik der Modalitäten ⟩ Coherence theory of truth