Counterexample
Summary
A counterexample to a universal statement is an element such that is false. One counterexample shows that the universal statement is false.
Remarks
The number is a counterexample to "each prime number is odd". This works because of the negation of a universal statement: is equivalent to .
Explanations
L1 human
To show that a general claim is wrong, one bad case is enough. "Each continuous function is differentiable" is false: is continuous but not differentiable at .
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 7 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Proposition concept
- Negation definition
- Predicate definition
- Existential quantifier definition
- Universal quantifier definition
- Negation of a universal statement statement
- Counterexample concept
Sources
- Web https://en.wikipedia.org/wiki/Counterexample, lead section
What links here
No node links to this node yet.