Soru: "Sadece çalışkan öğrenciler başarılı olur" önermesini sembolleştiriniz.
Çözüm: "Sadece" ifadesi gereklilik belirtir. Çalışkan öğrenci kümesini C(x) = "x çalışkan öğrencidir", başarılı olma durumunu B(x) = "x başarılı olur" tanımlayalım. Bu ifade "Başarılı olan herkes çalışkan öğrencidir" anlamına gelir. Sembolleştirme: ∀x (B(x) → C(x))
