دوبار نی‌شدن
همچنین شناخته شده با: نقض مضاعف
برابر انگلیک (انگلیسی): Double negation
دیسه‌ای
𝐴≡¬¬𝐴
A≡¬¬A


تاربرگ‌های پیموده‌شده در این نشست: گرهارد گنتزن ⟩ گویایی‌های گسترش‌یافته ⟩ نگره‌پردازان نگره‌ی نمونه ⟩ بنداشت T ⟩ شناخت‌شناسی ⟩ Modal Axiom B