Editing Counterexample (section)

{{Short description|Exception to a proposed general rule}}
A '''counterexample''' is any exception to a [[generalization]].  In [[logic]] a counterexample disproves the generalization, and does so [[rigor|rigorously]] in the fields of [[mathematics]] and [[philosophy]].<ref name=":0">{{Cite web|url=https://www.mathwords.com/c/counterexample.htm|title=Mathwords: Counterexample|website=www.mathwords.com|access-date=2019-11-28}}</ref> For example, the fact that "student John Smith is not lazy" is a counterexample to the generalization "students are lazy", and both a counterexample to, and disproof of, the [[universal quantification]] "all students are lazy."<ref>{{Cite web|url=http://mathworld.wolfram.com/Counterexample.html|title=Counterexample|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-11-28}}</ref>