Çözümlü Örnek 1
Soru:
Klasik mantık ve modern mantık arasındaki temel farklardan biri, kullandıkları sembol sistemidir. Aşağıdaki ifadelerden hangisi, modern mantığın sembolik diline daha uygundur ve neden?
- A) "Bütün insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür."
- B) "∀x (Hx → Mx), Hs ⊢ Ms"
Çözüm:
💡 Bu soruda, iki farklı mantık sisteminin ifade biçimlerini karşılaştırmamız isteniyor.
- ➡️ Birinci Adım: Klasik mantık (Aristo mantığı), ifadeleri genellikle günlük dilde (A seçeneğindeki gibi) kurar. "Bütün", "hiçbir", "bazı" gibi sözcüklerle ifade edilir.
- ➡️ İkinci Adım: Modern mantık (Sembolik mantık) ise, matematiksel semboller kullanır. B seçeneğinde; "∀" (her için), "→" (ise), "Hx" (x insandır), "Ms" (Sokrates ölümlüdür) gibi semboller görülür. Bu, ifadenin yapısını daha net ve hatasız analiz etmeye olanak tanır.
- ➡️ Üçüncü Adım: Soru, modern mantığın sembolik diline uygun olanı sorduğu için doğru cevap, sembolik gösterim içeren B seçeneğidir.
✅ Sonuç: Doğru cevap B seçeneğidir. Çünkü modern mantık, önermeleri ve çıkarımları analiz etmek için evrensel bir sembolik dil geliştirmiştir.
