Soru: x: "Akşam yemeği yedim" ve y: "Açım" önermeleri veriliyor. ¬x (x'in değili) bileşik önermesini yazınız ve x doğru iken doğruluk değerini belirleyiniz.
Çözüm: ¬x bileşik önermesi, x önermesinin tersidir. x doğru olduğunda, ¬x yanlıştır. Çünkü "değil" bağlacı, önermenin doğruluk değerini tersine çevirir. Örneğin, x doğru ise "Akşam yemeği yedim" doğru, o zaman "Akşam yemeği yemedim" (¬x) yanlış olur.
