Jump to: navigation, search

An Counter-Example is an example in a not instance-of relation with another concept class.



    • In logic, and especially in its applications to mathematics and philosophy, a counterexample is an exception to a proposed general rule. For example, consider the proposition "all students are lazy". Because this statement makes the claim that a certain property (laziness) holds for all students, even a single example of a diligent student will prove it false. Thus, any hard-working student is a counterexample to "all students are lazy". More precisely, a counterexample is a specific instance of the falsity of a universal quantification (a "for all" statement).

      In mathematics, this term is (by a slight abuse) also sometimes used for examples illustrating the necessity of the full hypothesis of a theorem, by considering a case where a part of the hypothesis is not verified, and where one can show that the conclusion does not hold.[citation needed] A counterexample may be local or global in an argument.


    • A counterexample is an example which is used to prove that a statement is false.
    • "Counterexample: Definition: A counter-example to an argument (as opposed to one to an argument pattern) constitutes (broadly) a demonstration that the premises of that argument could be true under certain conditions where the conclusion would nevertheless be false. Comment: This demonstration will usually consist of adding a premise to the argument, that details a particular way in which the original premises could count as true, and under which it is at least not certain that the conclusion is true. "Little Freddie had turned a blotchy yellow-green by now, and was running a temperature of 107. A scratchy ak-ak-ak escaped from his dry and wrinkled throat." You might be tempted to draw from these premises the conclusion that Little Freddie is sick (to say the least!). But now add in the premise that Freddie is a Geezengolian from the planet Zenith. Are you so sure now what's sick and what's normal?