تعريف الحديث في الرياضيات ، أو بشكل أكثر تحديدًا التفكير المنطقي ، هو تبديل الفرضية واستنتاج البيان الشرطي. مثال على ذلك إذا كانت ¢ تمطر فهناك غيوم في السماء. والعكس إذا كان هناك غيوم في السماء فهي تمطر.