إن كان زيد إنسانا كان حيوانا لكنه إنسان.
اگر زید انسان ہے تو حیوان ہے، لیکن وہ انسان ہے۔
شرطیہ کا مقدم ہے: زید انسان ہے۔ تالی ہے: زید حیوان ہے۔ دوسرے مقدمے میں مقدم کا اثبات ہوا، اس لیے زید حیوان ہے نتیجہ نکلتا ہے۔
یہ دلیل اس غلط انداز سے مختلف ہے کہ «اگر زید انسان ہے تو حیوان ہے؛ زید حیوان ہے؛ اس لیے لازماً انسان ہے»۔ حیوان ہونے سے انسان ہونا لازم نہیں، کیونکہ دوسرے حیوان بھی ہیں۔
سبق کھل رہا ہے...
الحجّة: قیاس، استقراء، تمثیل اور قیاس کی چار شکلیں
إن كان زيد إنسانا كان حيوانا لكنه إنسان.
اگر زید انسان ہے تو حیوان ہے، لیکن وہ انسان ہے۔
شرطیہ کا مقدم ہے: زید انسان ہے۔ تالی ہے: زید حیوان ہے۔ دوسرے مقدمے میں مقدم کا اثبات ہوا، اس لیے زید حیوان ہے نتیجہ نکلتا ہے۔
یہ دلیل اس غلط انداز سے مختلف ہے کہ «اگر زید انسان ہے تو حیوان ہے؛ زید حیوان ہے؛ اس لیے لازماً انسان ہے»۔ حیوان ہونے سے انسان ہونا لازم نہیں، کیونکہ دوسرے حیوان بھی ہیں۔