Principle of Explosion

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


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