فرض کیجیے مدعا الف ہے۔ اس کا نقیض لا الف ہوگا۔
قیاسِ خلف سے حاصل ہوا: «لا الف» درست نہیں۔ اس کا مطلب «لا الف کی نفی» ہے، یعنی لا لا الف۔ عام کلاسیکی دوقدری منطق میں اس دوہری نفی سے الف ثابت ہوتا ہے۔
یہ مرحلہ اس وقت درست ہے جب واقعی مدعا کا نقیض لیا گیا ہو۔ صرف متضاد یا برخلاف معلوم ہونے والا غیر نقیض جملہ رد کرنے سے اصل مدعا لازماً ثابت نہیں ہوتا۔
سبق کھل رہا ہے...
قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا
فرض کیجیے مدعا الف ہے۔ اس کا نقیض لا الف ہوگا۔
قیاسِ خلف سے حاصل ہوا: «لا الف» درست نہیں۔ اس کا مطلب «لا الف کی نفی» ہے، یعنی لا لا الف۔ عام کلاسیکی دوقدری منطق میں اس دوہری نفی سے الف ثابت ہوتا ہے۔
یہ مرحلہ اس وقت درست ہے جب واقعی مدعا کا نقیض لیا گیا ہو۔ صرف متضاد یا برخلاف معلوم ہونے والا غیر نقیض جملہ رد کرنے سے اصل مدعا لازماً ثابت نہیں ہوتا۔