Conditional Statements and Logic
Exploring the structure of mathematical arguments through if-then statements, converses, and contrapositives.
About This Topic
Exploring the structure of mathematical arguments through if-then statements, converses, and contrapositives.
Key Questions
- Analyze how the truth value of a statement changes when its hypothesis and conclusion are swapped.
- Justify why a single counterexample is sufficient to disprove a universal mathematical claim.
- Explain in what ways formal logic prevents errors in mathematical modeling.
Missions teachers have run here
Active Learning Ideas
See all activities→Activities & Teaching Strategies
See all activities
Planning templates for Mathematics
5E Model
The 5E Model structures lessons through five phases (Engage, Explore, Explain, Elaborate, and Evaluate), guiding students from curiosity to deep understanding through inquiry-based learning.
Unit PlannerMath Unit
Plan a multi-week math unit with conceptual coherence: from building number sense and procedural fluency to applying skills in context and developing mathematical reasoning across a connected sequence of lessons.
RubricMath Rubric
Build a math rubric that assesses problem-solving, mathematical reasoning, and communication alongside procedural accuracy, giving students feedback on how they think, not just whether they got the right answer.
More in The Language of Proof and Logic
Introduction to Inductive and Deductive Reasoning
Students will differentiate between inductive and deductive reasoning and identify their roles in mathematical discovery and proof.
2 methodologies
Properties of Equality and Congruence
Students will apply algebraic properties of equality and geometric properties of congruence to justify steps in proofs.
2 methodologies
Parallel Lines and Transversals
Investigating the unique angle relationships formed when parallel lines are intersected by a transversal.
2 methodologies
Perpendicular Lines and Distance
Students will explore properties of perpendicular lines, including perpendicular bisectors and the shortest distance from a point to a line.
2 methodologies
Constructing Formal Proofs
Developing the ability to write two-column and flow proofs to justify geometric theorems.
2 methodologies
Proof by Contradiction and Indirect Proof
Students will learn to construct proofs by assuming the opposite of what needs to be proven and showing a contradiction.
2 methodologies