التخمين السابق هو: "يكون سالباً -n عدداً حقيقياً فإن n اذا كان أصغر من صفر".
مثال مضاد لهذا التخمين هو:
حيث أن n = -1 عدد سالب، ولكن -n = 1 عدد موجب.
إذن، المثال المضاد يبين أن التخمين السابق خاطئ، حيث أن هناك عدد سالب n يكون -n عدد موجب.
التوضيح:
التخمين السابق يعتمد على فكرة أن العدد n سالب إذا كان حاصل ضربه في -1 موجب. ولكن، هذا ليس صحيحًا دائمًا. فمثلاً، إذا كان n = -1، فإن حاصل ضربه في -1 يساوي 1، وهو عدد موجب.
لذلك، فإن المثال المضاد يبين أن التخمين السابق خاطئ، حيث أن هناك عدد سالب n يكون -n عدد موجب.