Soru:
Aşağıdaki kıyasın geçerli olup olmadığını belirleyiniz.
Öncüller:
- Hiçbir kuş (\(K\)) memeli (\(M\)) değildir.
- Tüm serçeler (\(S\)) kuştur (\(K\)).
Sonuç:
- O halde, hiçbir serçe (\(S\)) memeli (\(M\)) değildir.
Çözüm:
💡 Bu kıyasın geçerliliğini kontrol etmek için önermeleri sembolik forma dönüştüreceğiz.
- ➡️ 1. Adım: Terimleri Belirleme
Orta Terim (T): Kuş (\(K\))
Küçük Terim (t): Serçe (\(S\))
Büyük Terim (T'): Memeli (\(M\))
- ➡️ 2. Adım: Öncülleri ve Sonucu Formüle Etme
1. Öncül: Hiçbir K, M değildir. -> Hiçbir T, T' değildir. (Eşdeğeri: Tüm T, T'-değildir.)
2. Öncül: Tüm S, K'dir. -> Tüm t, T'dir.
Sonuç: Hiçbir S, M değildir. -> Hiçbir t, T' değildir. (Eşdeğeri: Tüm t, T'-değildir.)
- ➡️ 3. Adım: Geçerlilik Kontrolü
Bu, kategorik kıyasın geçerli formlarından biri olan "Celarent" tipidir. Şemayı şu şekilde gösterebiliriz:
Hiçbir T, T' değildir.
Tüm t, T'dir.
∴ Hiçbir t, T' değildir.
İlk öncülde T (kuş) dağıtılmıştır. İkinci öncülde t (serçe) dağıtılmıştır ve sonuçta da dağıtılmıştır. Bu, kıyas kurallarına uygundur.
✅ Sonuç: Bu kıyas geçerlidir.
