द्विनिषेध: क्या ¬¬p ⊨ p वैध है?

¬¬p और p एक ही पंक्तियों में सत्य हैं, इसलिए दोहरा निषेध कहीं भी हटाया जा सकता है। दो निषेध एक-दूसरे को काट देते हैं।