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" é: