দ্বৈত নেতিকরণ: ¬¬p ⊨ p কি বৈধ?

¬¬p ও p একই সারিতে সত্য, তাই দ্বৈত নেতিকরণ যেখানেই থাকুক তুলে দেওয়া যায়। দুটি নেতিকরণ পরস্পরকে কাটে।