Zaprzeczenie (\wrnegacje) zdania p oznaczamy symbolem ~p i czytamy „nieprawda, że p”. Zaprzeczenie zdania prawdziwego jest fałszywe. Zaprzeczenie zdania fałszywego jest prawdziwe. Przykłady.