Soru: "Tüm insanlar ölümlüdür. Sokrates bir insandır." Bu iki önermeden hangi sonuç mantıklı olarak çıkarılabilir?
Çözüm: Bu bir kıyas (syllogism) örneğidir. İlk önerme genel bir kural belirtiyor: Tüm insanlar ölümlüdür. İkinci önerme Sokrates'in bu kapsama girdiğini söylüyor. Mantıksal çıkarım: Sokrates de ölümlüdür. Bu, doğru düşünmenin temel kurallarından biridir.
