Soru: "Hiçbir balık uçamaz" önermesini niceleme mantığında sembolleştiriniz.
Çözüm: Bu önerme "Tüm balıklar uçamaz" şeklinde de ifade edilebilir. Balık kümesini B(x) = "x balıktır", uçma özelliğini U(x) = "x uçar" tanımlayalım. Sembolleştirme: ∀x (B(x) → ¬U(x)) veya eşdeğer olarak ¬∃x (B(x) ∧ U(x))
