Contra-exemplo
Origem: Wikipédia, a enciclopédia livre.
Na lógica, e em suas aplicações à matemática e à filosofia, um contra-exemplo é uma exceção a uma hipótese geral, ou seja, é um caso particular que falsifica uma quantificação universal do tipo todo X é um Y.