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


تاربرگ‌های پیموده‌شده در این نشست: Prior Analytics ⟩ Positive Free Logic ⟩ Provability logic ⟩ absolute ⟩ Principia Mathematica ⟩ Propositional modal logic