In logic, and especially in its applications to mathematics and philosophy, a counterexample is an exception to a proposed general rule or law.
În logică, și în special în aplicațiile sale de care se leagă însași existența sa, matematica și filozofia, un contraexemplu este o excepție a unei legi generale propuse.