تناقض کی بحث میں معلوم ہوا کہ قضیہ اور اس کا نقیض صدق و کذب میں لازماً مختلف ہوتے ہیں۔ قیاسِ خلف اسی اصول کو عملی استدلال میں استعمال کرتا ہے۔
فرق یہ ہے کہ تناقض کا باب دو قضیوں کے باہمی تعلق کی شناخت کراتا ہے۔ قیاسِ خلف اس شناخت سے آگے بڑھ کر نقیض کو فرض کرتا ہے، اس سے محال لازم کرتا ہے اور نقیض کی نفی کے ذریعے مطلوبہ قضیہ ثابت کرتا ہے۔
یوں پہلے پڑھی ہوئی بحث محصورات کے نقائض اس سبق میں براہِ راست کام آتی ہے۔
سبق کھل رہا ہے...
قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا
تناقض کی بحث میں معلوم ہوا کہ قضیہ اور اس کا نقیض صدق و کذب میں لازماً مختلف ہوتے ہیں۔ قیاسِ خلف اسی اصول کو عملی استدلال میں استعمال کرتا ہے۔
فرق یہ ہے کہ تناقض کا باب دو قضیوں کے باہمی تعلق کی شناخت کراتا ہے۔ قیاسِ خلف اس شناخت سے آگے بڑھ کر نقیض کو فرض کرتا ہے، اس سے محال لازم کرتا ہے اور نقیض کی نفی کے ذریعے مطلوبہ قضیہ ثابت کرتا ہے۔
یوں پہلے پڑھی ہوئی بحث محصورات کے نقائض اس سبق میں براہِ راست کام آتی ہے۔