Aşağıdaki akıl yürütme geçerli midir? Neden?
"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde, Sokrates ölümlüdür."
Çözüm:💡 Bu, mantıkta klasik bir kıyas (syllogism) örneğidir. Geçerliliği kontrol etmek için, öncüllerin doğru olduğunu varsayıp sonucun yanlış olup olamayacağına bakarız.
Eğer her iki öncül de doğruysa, Sokrates'in "insan" kategorisinde olduğu ve bu kategorideki tüm bireylerin ölümlü olduğu kabul edilirse, Sokrates'in ölümlü olmaması imkansızdır. Sonuç, öncüllerden zorunlu olarak çıkar.
✅ Bu akıl yürütmenin biçimi geçerlidir. Çünkü öncüller doğru kabul edildiğinde sonuç yanlış olamaz.
