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


تاربرگ‌های پیموده‌شده در این نشست: گویایی رسته‌ای ⟩ همزادی قانون‌های دمورگان ⟩ آرثر نورمن پرایور