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