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


تاربرگ‌های پیموده‌شده در این نشست: An Interpretation of the Intuitionistic Propositional Calculus ⟩ Natural Deduction proof ⟩ Sub-classical logics ⟩ Gottlob Frege ⟩ Principia Mathematica ⟩ powerset