Bir önermenin doğruluk değerini değiştirir. p: Türkiye’nin başkenti Ankara’dır. p≡1 ¬p: Türkiye’nin başkenti Ankara değildir. p≡0 p: (−5)2=25‘tir. p≡1 ¬p: (−5)2=25 p≡0