متصلہ شرطیہ میں یہ استدلال صحیح ہے:
1. اگر مقدم سچا ہو تو تالی سچا ہوگا۔
2. تالی سچا نہیں۔
3. لہٰذا مقدم سچا نہیں۔
اسے علامتی صورت میں یوں لکھ سکتے ہیں: P ⇒ Q؛ ¬Q؛ نتیجہ ¬P۔
قیاسِ خلف میں مقدم نقیضِ مدعا ہے اور تالی محال ہے۔ محال کی نفی سے نقیضِ مدعا کی نفی حاصل ہوتی ہے۔
اگر «اگر P تو Q» سے محض «Q غلط نہیں» کی بنیاد پر P کو ثابت کر دیا جائے تو وہ دوسری اور غیر معتبر صورت ہوگی۔
سبق کھل رہا ہے...
قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا
متصلہ شرطیہ میں یہ استدلال صحیح ہے:
1. اگر مقدم سچا ہو تو تالی سچا ہوگا۔
2. تالی سچا نہیں۔
3. لہٰذا مقدم سچا نہیں۔
اسے علامتی صورت میں یوں لکھ سکتے ہیں: P ⇒ Q؛ ¬Q؛ نتیجہ ¬P۔
قیاسِ خلف میں مقدم نقیضِ مدعا ہے اور تالی محال ہے۔ محال کی نفی سے نقیضِ مدعا کی نفی حاصل ہوتی ہے۔
اگر «اگر P تو Q» سے محض «Q غلط نہیں» کی بنیاد پر P کو ثابت کر دیا جائے تو وہ دوسری اور غیر معتبر صورت ہوگی۔