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