«ويشترط في أخذ تناقض الشرطيات الاتفاق في الجنس والنوع، والمخالفة في الكيف»
شرطیہ قضیوں کا نقیض بناتے وقت جنس اور نوع کا ایک ہونا، اور کیفیت میں اختلاف ہونا شرط ہے۔
جنس کی موافقت: متصلہ کے مقابل اسی نسبت والی متصلہ، اور منفصلہ کے مقابل اسی نوع کی منفصلہ ہو۔
نوع کی موافقت: مثلاً متصلہ لزومیہ میں جو لزومی نسبت مراد ہو، اس ہی کا حکم نفی میں آئے؛ اتفاقیہ کا مضمون بلا وجہ اس کی جگہ نہ رکھیں۔
کیفیت کا اختلاف: ایک طرف ایجاب ہو اور دوسری میں اسی حکم کا سلب۔
شرطیہ کا صرف ایک جز جھٹلا دینا ہمیشہ پورے شرطیہ کی عین نفی نہیں بنتا۔