Bir önermenin hükmü değiştirildiğinde elde edilen önerme, ilk önermenin değili ya da olumsuzu olarak adlandırılır. Bu işleme o önermenin değillenmesi denir. Önermenin hükmünü değiştirmek, doğruluk değerini değiştirmektir. Yani p önermesi doğru ise onun değili yanlıştır.