Soru:
Aşağıdaki öncüllerden ne sonuç çıkarılabilir?
- 1. Bu hayvan ya bir kedidir (\(K\)) ya da bir köpektir (\(P\)). (Formel ifade: \(K \vee P\))
- 2. Bu hayvan bir kedi değildir. (Formel ifade: \(\neg K\))
Çözüm:
💡 Bu, mantıkta Ayrık Kıyas (Disjunctive Syllogism) olarak bilinen geçerli bir çıkarım kuralıdır. Kural şudur: Eğer \(A \vee B\) (A veya B) ve \(\neg A\) (A değil) doğruysa, o zaman \(B\) sonucu çıkarılabilir.
- ➡️ Adım 1: İlk öncülü inceleyelim. Bu önerme bize hayvanın iki olası kategoriden birinde olduğunu söylüyor: kedi VEYA köpek. İkisinden biri mutlaka doğru olmalıdır.
- ➡️ Adım 2: İkinci öncülü inceleyelim. Bu önerme, hayvanın "kedi" kategorisinde olmadığını kesin olarak belirtiyor (\(\neg K\)).
- ➡️ Adım 3: Bu iki bilgiyi birleştirelim. Seçeneklerden biri (kedi olma ihtimali) elendiğine göre, geriye kalan tek seçenek doğru olmak zorundadır.
✅ Sonuç: Bu hayvan bir köpektir. (Formel ifade: \(P\))
