Soru:
Bir öğrenci şu gözlemleri yapıyor:
- Tüm kuşlar kanatlıdır.
- Serçe bir kuştur.
Bu öğrenci, bu iki öncülden hangi sonucu çıkarır? Çıkarım türünü belirtiniz.
Çözüm:
💡 Bu, tümdengelimli (dedüktif) bir çıkarım örneğidir. Genel bir öncülden özele doğru bir akıl yürütme söz konusudur.
- ➡️ 1. Adım: İlk öncül genel bir ifadedir: "Tüm kuşlar kanatlıdır." Bu, \( K \implies L \) şeklinde sembolize edilebilir (K: Kuş olmak, L: Kanatlı olmak).
- ➡️ 2. Adım: İkinci öncül, bir spesifik durumu ifade eder: "Serçe bir kuştur." Bu, S önermesinin K kümesine ait olduğu anlamına gelir.
- ➡️ 3. Adım: Tümdengelim mantığına göre, genel kural bir birey için de geçerlidir. "Tüm K'lar L ise" ve "S bir K ise", o zaman "S de L'dir."
✅ Sonuç: "O halde, serçe de kanatlıdır." Çıkarım türü: Tümdengelim (Dedüksiyon).