Soru: "Ya sinemaya giderim ya da evde kalırım" önermesini sembolleştiriniz.
Çözüm: Bu bir ayrık önermedir ve "ya ... ya da ..." bağlacı ile ifade edilir. p: "Sinemaya giderim", q: "Evde kalırım" olarak tanımlanır. Ayrık önerme p ∨ q şeklinde sembolleştirilir.