Mathematical Language, Numbers, and Proof Foundations
Purpose
Algebra becomes rigorous when its language makes hidden conditions visible. Sets tell us which objects are under discussion. Logic tells us what a statement claims and how it may be negated. Number systems tell us which operations remain inside the system. Proof tells us why a pattern continues beyond the examples we happened to test.
This unit is the foundation for every later domain restriction, solution set, parameter case, inverse function, identity proof, and examination argument.
Unit outcomes
After completing the unit, you should be able to:
- translate among words, set-builder notation, intervals, and logical symbols;
- compute with union, intersection, complement, and Cartesian product;
- negate compound and quantified statements without changing their scope;
- classify numbers and analyze closure under an operation;
- derive elementary absolute-value facts from order and distance;
- cite algebraic laws and their conditions in a transformation;
- select and write direct, case, contrapositive, contradiction, equivalence, existence, uniqueness, and introductory induction proofs;
- construct a decisive counterexample to a universal claim.
Readiness check
Before beginning, complete the orientation unit or demonstrate that you can explain the difference between \(=\), \(\Rightarrow\), and \(\Leftrightarrow\). You should also be able to compute exactly with fractions and signed quantities.
Consider the statement “if \(x>3\), then \(x^2>9\).” Is its converse true over the reals?
No. The converse says “if \(x^2>9\), then \(x>3\),” but \(x=-4\) is a counterexample. The correct equivalence is \(x^2>9\Leftrightarrow x<-3\) or \(x>3\).
Unit map
The available reference-format chapters are:
- Sets, intervals, statements, and quantifiers, which establishes precise language for universes, solution sets, logic, and counterexample;
- The real number system and its extensions, which develops closure, rationality, irrationality, density, completeness, exact comparison, distance, radicals, approximation, and the complex extension; and
- Algebraic laws and valid transformation, which develops field and order laws, domain-preserving equivalence, conditional identities, equation audits, and parameter cases; and
- Proof methods for algebra, which develops direct, case, contrapositive, contradiction, biconditional, existence, uniqueness, counterexample, and induction arguments.
The second, third, and fourth chapters are review candidates pending independent mathematical and editorial approval.
After the four chapters, complete the Unit 1 proof portfolio and the 75-minute Unit 1 proof examination. Both are review candidates with model analyses, marking support, and correction cycles.
Central ideas and notation
A condition such as \(x\ne 2\) is not a side comment; it changes the set on which a formula has meaning. An implication such as \(P\Rightarrow Q\) is not automatically reversible. A handful of examples can refute a universal claim but cannot prove one. These three observations—domain, direction, and generality—will recur in all later units.
How to study this unit
Translate every new statement at least twice: once into precise symbols and once back into complete prose. When proving a claim, write the relevant definition before manipulating symbols. When refuting a claim, state why one example satisfies the hypothesis but not the conclusion.
Unit resources and next step
Use the notation guide when a symbol is unfamiliar. Begin with Sets, intervals, statements, and quantifiers, then continue to The real number system and its extensions, and then study Algebraic laws and valid transformation and Proof methods for algebra. Complete the portfolio before the timed examination. Return to the orientation chapter whenever a chain of implications becomes unclear.