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


تاربرگ‌های پیموده‌شده در این نشست: powerset ⟩ implication ⟩ Set theory ⟩ possible-world semantics ⟩ notion of existence ⟩ Introduction to Logic and to the Methodology of Deductive Sciences