بنداشت اسکفت

همچنین شناخته شده با: اصل انفجار
برابر انگلیک (انگلیسی): EFQ Principle of Explosion ex falso (sequitur) quodlibet, EFQ ex falso quodlibet
دیسه‌ای
(𝐴∧¬𝐴)⊃𝐵
(A∧¬A)⊃B


تاربرگ‌های پیموده‌شده در این نشست: نبیگ فشرده در افماریک جبر و تراز کردن سُتوارشی Modal Theorem K.5 گویایی‌های زیرساختاری گویایی بسیار ارزشی گویایی‌های زیرساختاری