If you do not find what you're looking for, you can use more accurate words.
التضاد هو قاعدة منطقية صالحة واستنباطية، تسمح بخلق افتراضٍ جديد من افتراض باطل آخر. تُبطق هذه الطريقة على أي اقتراحٍ من نوع (إذا لم يكن A إذاً هو B)، حيث يؤدي رفض جميع المتغيرات وتحويلها إلى خلق افتراضٍ جديد (إذا لم يكن B إذاً لن يكن A). والافتراض الأخير صحيح تماماً كما الافتراض الأول، حيث يدل الأول على الثاني ويدل الثاني على الأول.
التبادل هو التضاد ذاته، لكنه وُصف بلغة أخرى.