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


تاربرگ‌های پیموده‌شده در این نشست: Payara ⟩ Modal System S4 ⟩ predicate ⟩ PL.FL.02 ⟩ Principia Mathematica ⟩ paradoxes of strict implication