Soru: "Tüm kediler memelidir ve bazı memeliler yüzer" önermesini sembolleştiriniz.
Çözüm: Kediler için K(x) = "x kedidir", memeliler için M(x) = "x memelidir", yüzme için Y(x) = "x yüzer" tanımlayalım. İlk kısım: ∀x (K(x) → M(x)), ikinci kısım: ∃x (M(x) ∧ Y(x)). Birleşik önerme: [∀x (K(x) → M(x))] ∧ [∃x (M(x) ∧ Y(x))]
