Conditional statements are the building blocks of logical reasoning in geometry. They let you express relationships between geometric ideas in a precise way, which is exactly what you need when writing proofs or making deductions.
This section covers how to identify the parts of a conditional statement, how to form its converse, inverse, and contrapositive, what logical equivalence actually means, and how truth tables help you check whether an argument is valid.
Conditional Statements
Hypothesis and conclusion identification
Every conditional statement follows the form "If P, then Q." The two parts have specific names:
- Hypothesis (P): The condition that must be met. Sometimes called the antecedent.
- Conclusion (Q): The result that follows when the hypothesis is true. Sometimes called the consequent.
Example: If a triangle has two equal sides, then it is an isosceles triangle.
- Hypothesis: a triangle has two equal sides
- Conclusion: it is an isosceles triangle
A quick way to identify each part: whatever comes right after "if" is the hypothesis, and whatever comes after "then" is the conclusion. Watch out for statements that don't use the word "then" explicitly, like "A triangle is isosceles if it has two equal sides." The hypothesis is still "it has two equal sides" even though it appears at the end.
Converse, inverse, and contrapositive statements
Given any conditional statement "If P, then Q," you can form three related statements by swapping and/or negating the hypothesis and conclusion:
- Converse ("If Q, then P"): Swap the hypothesis and conclusion. If it is an isosceles triangle, then it has two equal sides.
- Inverse ("If not P, then not Q"): Negate both parts but keep the same order. If a triangle does not have two equal sides, then it is not an isosceles triangle.
- Contrapositive ("If not Q, then not P"): Negate both parts and swap them. If a triangle is not an isosceles triangle, then it does not have two equal sides.
A helpful pattern to remember: the converse and inverse are related to each other the same way the original and contrapositive are. The converse is the contrapositive of the inverse, and vice versa.
Logical equivalence of conditionals
Two statements are logically equivalent when they have the same truth value in every possible case. Here's what that means for the four forms:
- A conditional and its contrapositive are always logically equivalent. If the original is true, the contrapositive is true, and if the original is false, the contrapositive is false. This is the most important equivalence to remember for proofs.
- A conditional and its converse are not logically equivalent. The original can be true while the converse is false. For example, "If a shape is a square, then it is a rectangle" is true, but the converse "If a shape is a rectangle, then it is a square" is false.
- A conditional and its inverse are not logically equivalent, for the same reason. The inverse and the converse are actually logically equivalent to each other.
Equivalence pairs to know:
- Original ↔ Contrapositive (always same truth value)
- Converse ↔ Inverse (always same truth value)
This matters in geometry because when you can't prove a conditional directly, you can prove its contrapositive instead, and it's just as valid.
Truth tables for argument validity
A truth table lists every possible combination of truth values for the propositions in an argument. It's a systematic way to check whether a conclusion must follow from the premises.
To build and use a truth table:
- Identify the premises and the conclusion of the argument.
- Assign a column to each proposition (and to the premises and conclusion themselves).
- List every possible combination of truth values. For propositions, you'll have rows.
- Evaluate the truth value of each premise and the conclusion in every row.
- Look at the rows where all premises are true. If the conclusion is also true in every one of those rows, the argument is valid.
Example:
- Premise 1: If a triangle has three equal sides, then it is an equilateral triangle.
- Premise 2: Triangle ABC has three equal sides.
- Conclusion: Triangle ABC is an equilateral triangle.
Let = "has three equal sides" and = "is an equilateral triangle."
| P | Q | Premise 1 (If P, then Q) | Premise 2 (P) | Conclusion (Q) |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | T | F | T |
| F | F | T | F | F |
Focus on the row where both premises are true (Row 1): the conclusion is also true. There is no row where both premises are true and the conclusion is false, so the argument is valid. This pattern of reasoning, where you affirm the hypothesis of a conditional to conclude the consequent, is called modus ponens, and you'll use it constantly in geometric proofs.