निषेध (तर्क)

तर्क के रूप में निषेध (साँचा:lang-en) जिसे पूरक भी कहा जाता है एक संक्रिया है जो कथन को इसके p असत्य है तब निषेध p सत्य होगा। अतः निषेध एकधारी (एकल-तर्क) तर्क संयोजक है।