Soru: "Eğer sınavı geçersem, parti veririm" önermesini sembolleştiriniz.
Çözüm: Bu bir koşullu önermedir. p: "Sınavı geçerim", q: "Parti veririm" olarak tanımlanır. Koşullu önerme p → q şeklinde sembolleştirilir.