Soru: "Tüm insanlar ölümlüdür. Sokrates bir insandır." Bu öncüllerden hangi akıl yürütme yöntemiyle "O halde Sokrates de ölümlüdür." sonucuna varılır? Açıklayınız.
Çözüm: Bu, klasik bir tümdengelim örneğidir. Tümdengelim, genel bir öncülden özel bir sonuç çıkarma yöntemidir. Adımlar:
1. Genel öncül: Tüm insanlar ölümlüdür.
2. Özel öncül: Sokrates bir insandır.
3. Sonuç: Sokrates ölümlüdür.
Bu, mantıksal olarak zorunlu bir çıkarımdır; öncüller doğruysa sonuç kesinlikle doğrudur. Formülize edersek: Tüm A'lar B'dir. X bir A'dır. O halde X bir B'dir.
