Um contra‐exemplo para uma determinada afirmativa é um exemplo que a contradiz, isto é, um exemplo que torna a afirmativa falsa.

No caso de afirmativas do tipo “SE antecedente ENTÃO consequente", um contra‐exemplo torna o antecedente verdadeiro e o consequente falso.

Um contra‐exemplo para a afirmativa “SE x é múltiplo de 7

ENTÃO x é um número ímpar" é: