Na Lógica, e em suas aplicações à Matemática e à Filosofia, um contraexemplo é 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.