SORU: Önermeler mantığında bir ifade ile onun değili arasındaki ilişkileri açıklayınız.
CEVAP: A önermesi ile bu önermenin değili olan ~A önermesi arasındaki ilişki şudur: A doğru ise ~A yanlış, A yanlış ise ~A doğrudur. Değilleme kuralları diyebileceğimiz bu kurallar her A önermesi için geçerlidir. Dolayısıyla A nicelemeli bir önerme olduğunda bu kuralların sağlanması gerekir.
