Principle of Explosion
دیسه‌ای
(𝐴∧¬𝐴)⊃𝐵
(A∧¬A)⊃B


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