Bir önermenin hükmünün olumsuzu alınarak elde edilen önermelere önermenin değili (olumsuzu) denir. Bir önermenin değili p’ veya ~p sembolleriyle gösterilir.