Verilen önermeyi adım adım inceleyelim:

• 1. Önermeyi Sembolik Olarak İfade Etme:

  Verilen önerme: "Bütün kanatlı hayvanlar uçabilir ise bazı dört ayaklı hayvanlar yüzemez."

  İki basit önerme tanımlayalım:

  • $P$: "Bütün kanatlı hayvanlar uçabilir."
  • $Q$: "Bazı dört ayaklı hayvanlar yüzemez."

  Bu durumda, verilen önerme $P \implies Q$ şeklindedir.

• 2. Önermenin Karşıtını Bulma:

  Bir $P \implies Q$ önermesinin karşıtı (converse) $Q \implies P$'dir.

  Yani, önermenin karşıtı: "Bazı dört ayaklı hayvanlar yüzemez ise bütün kanatlı hayvanlar uçabilir."

• 3. Karşıtının Değilini Bulma:

  Şimdi $Q \implies P$ önermesinin değilini ($\neg (Q \implies P)$) bulmalıyız.

  Bir koşullu önermenin değili için şu denklik kullanılır: $\neg (A \implies B) \equiv A \land \neg B$.

  Bu kuralı $Q \implies P$ için uygularsak:

  $\neg (Q \implies P) \equiv Q \land \neg P$

• 4. $\neg P$ Önermesini Bulma:

  $P$: "Bütün kanatlı hayvanlar uçabilir."

  Bir "Bütün..." şeklindeki önermenin değili "Bazı... değildir" şeklindedir.

  $\neg P$: "Bazı kanatlı hayvanlar uçamaz."

• 5. Sonucu Birleştirme:

  Bulduğumuz $Q$ ve $\neg P$ önermelerini "ve" ($\land$) bağlacı ile birleştirelim:

  • $Q$: "Bazı dört ayaklı hayvanlar yüzemez."
  • $\neg P$: "Bazı kanatlı hayvanlar uçamaz."

  $Q \land \neg P$: "Bazı dört ayaklı hayvanlar yüzemez ve bazı kanatlı hayvanlar uçamaz."

Bu ifade seçenekler arasında C seçeneği ile eşleşmektedir.

Cevap C seçeneğidir.