3.º a 5.º gradoFoundationsPlanificado
True, false, and, or, not
Statements that are either true or false, combining them with and, or and not, and testing general claims with examples and counterexamples.
math.found.logic-statements
La lección de este tema todavía no se ha escrito. El esquema siguiente forma parte del mapa del plan de estudios y no ha sido revisado.
Se basa en
Sin requisitos previos: ¡empieza aquí!
Aprenderás a
- Decide whether a simple mathematical statement is true or false and justify the answer.
- Combine statements with and, or and not, reading 'or' inclusively.
- Use a single counterexample to refute an 'every…' claim, and explain why examples alone cannot prove one.
Definición
- A statement is a sentence that is either true or false.
- 'P and Q' is true when both are true; 'P or Q' is true when at least one is true; 'not P' is true exactly when P is false.
- A counterexample to 'every x has property P' is a particular x that does not have property P.
Teorema
- One counterexample is enough to show that a general claim is false.
- Checking many examples can support a general claim but does not prove it.
Errores frecuentes
- Believing that several confirming examples prove a statement about all numbers.
- Reading 'or' as exclusive.
- Thinking the opposite of 'all are' is 'none are'; it is 'at least one is not'.
Conduce a
Descubrimientos opcionales
- Gödel's incompleteness theorems Is every true statement about whole numbers provable? Gödel showed that any consistent, effectively axiomatised theory containing enough arithmetic leaves some true arithmetic statements unprovable.