Introduction to Proofs and Logical Reasoning
Understand the structure of a two-column proof: given information, statements, and justifications. Practice with simple segment and angle proofs using postulates and definitions, building toward deductive reasoning fluency.
A lesson of Geometry, in Foundations of Geometry, about 10 minutes.
By the end of this lesson, you will be able to identify inductive and deductive reasoning, write two-column proofs using definitions, postulates, and theorems, and construct simple geometric proofs from given information to a conclusion.
The Big Idea
Mathematics doesn't just assert — it proves. A proof is a logical argument showing that a conclusion must be true, given certain starting facts. Every step requires justification. This rigor is what makes geometry unique among high school math courses and what makes mathematical knowledge reliable.
There are two types of reasoning:
Inductive reasoning: Drawing a general conclusion from specific examples.
- You observe that 1, 3, 5, 7 are all odd → you conjecture that the pattern continues.
- Inductive reasoning can be wrong — a single counterexample disproves a conjecture.
Deductive reasoning: Drawing a specific conclusion from general truths.
- All right angles are congruent. $\angle A$ is a right angle. Therefore $\angle A \cong$ any right angle.
- Valid deductive reasoning with true premises cannot lead to a false conclusion.
Geometry proofs use deductive reasoning.
The Law of Detachment
If $p \to q$ is true and $p$ is true, then $q$ is true.
Example: "If it rains, the field will be wet." It is raining. Therefore the field is wet.
The Law of Syllogism
If $p \to q$ and $q \to r$, then $p \to r$.
Example: "If you study, you pass. If you pass, you graduate." Therefore: "If you study, you graduate."
Two-Column Proofs
A two-column proof has:
- Left column: statements (what you know or can conclude)
- Right column: reasons (why each statement is true)
Valid reasons include:
- Given information
- Definitions (e.g., "definition of midpoint")
- Postulates (e.g., "Segment Addition Postulate")
- Theorems (e.g., "Vertical Angles Theorem")
- Properties of equality/congruence
Properties of Equality (from Algebra)
| Property | Statement |
|---|---|
| Reflexive | $a = a$ |
| Symmetric | If $a = b$, then $b = a$ |
| Transitive | If $a = b$ and $b = c$, then $a = c$ |