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


تاربرگ‌های پیموده‌شده در این نشست: M4 ⟩ A⥽(B∨¬B) ⟩ A⥽(B⥽B) ⟩ M3 ⟩ Prior Analytics ⟩ Principle of bivalence