Soru: "Yağmur yağıyorsa, sokaklar ıslaktır" önermesini sembolleştiriniz.
Çözüm: Bu bir koşullu önermedir. p: "Yağmur yağıyor", q: "Sokaklar ıslak" olarak tanımlanır. Koşullu önerme p → q şeklinde sembolleştirilir.
