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


تاربرگ‌های پیموده‌شده در این نشست: Principle of bivalence ⟩ system ⟩ Coherence theory of truth ⟩ Theory of descriptions ⟩ Axiom of Extensionality ⟩ Positive Free Logic