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 belirtir: Tüm insanlar ölümlüdür. İkinci önerme ise Sokrates'in bu kurala dahil olduğunu söyler. Mantıksal çıkarım yaparak, Sokrates'in de ölümlü olduğu sonucuna varırız. Çünkü genel kurala uyan her birey, o kuralın özelliğini taşır.
