Soru: "Bugün hava güneşli değil" önermesini sembolleştiriniz.
Çözüm: Bu bir olumsuzlama önermesidir. p: "Bugün hava güneşli" olarak tanımlanır. Olumsuzlama ¬p şeklinde sembolleştirilir.