تناقض وہ اختلاف ہے جس میں ایک قضیے کے سچ ہونے سے دوسرے کا جھوٹ، اور ایک کے جھوٹ سے دوسرے کا سچ ہونا لازم آئے۔ اس کے لیے متعلقہ وحدتیں برقرار ہوں، تاکہ نفی عین اسی حکم پر وارد ہو۔
قضیہ شخصیہ: ایک معین موضوع اور محمول کی عین نفی۔
قضیہ محصورہ: کمیت اور کیفیت دونوں کا مناسب اختلاف۔
قضیہ موجهہ: ضرورت، دوام اور امکان سمیت جہت کے دائرے کی رعایت۔
قضیہ شرطیہ: جنس و نوع کی موافقت کے ساتھ پورے شرطی حکم کی نفی۔
اب اگلی بحث العکس المستوی ہے۔ وہاں قضیے کا نقیض بنانے کے بجائے موضوع اور محمول، یا متعلقہ طرفوں، کی ترتیب بدل کر صدق و کذب کے تحفظ کا مسئلہ پڑھا جائے گا۔