M
Math Coach Amy
Amy Ferguson Moncure

Geometry · Unit 1

Laws of Logic

Use detachment, syllogism, and the contrapositive. Say when there is no conclusion.

Jump to section:

detachment: p → q, p, ∴ q

syllogism: p → q, q → r, ∴ p → r

contrapositive: p → q, ∼q, ∴ ∼p

What to Remember

Law of Detachment

p → q and p, ∴ q.

If the if-then is true and the hypothesis happens, the conclusion happens.

Example: If the light is green, then you may go. The light is green. Therefore, you may go.

Law of Syllogism

p → q and q → r, ∴ p → r.

Chain the arrows. The conclusion of the first is the hypothesis of the second.

p → q → r is the same as p → r.

Example: If it snows, then school is delayed. If school is delayed, then the concert is postponed. Therefore, if it snows, then the concert is postponed.

Law of Contrapositive

p → q is equivalent to ∼q → ∼p.

If the if-then is true and the conclusion is false, the hypothesis is false.

Example: If a number is divisible by 4, then it is even. 15 is not even. Therefore, 15 is not divisible by 4.

No conclusion

p → q together with q does not give p (that is the converse). p → q together with ∼p does not give ∼q (that is the inverse).

Example: If a figure is a square, then it has four right angles. Figure ABCD has four right angles. No conclusion: it might be a rectangle that is not a square.

Contrapositive error

A common error is to treat the inverse as the Law of Contrapositive. From p → q and ∼p you cannot conclude ∼q.

Example: If it is raining, then the picnic is canceled. It is not raining. You cannot conclude that the picnic is not canceled.

Level 1

Easy

Name the law from symbols, or say it is not a syllogism.

Example
Premises: a → b and b → c. Can they form a syllogism? If yes, write the conclusion.

The arrows chain: a to b to c.

Yes.

a → c

Answer: yes; a → c

1
Premises: a → b and a → c. Can they form a syllogism?
Show Answer

Both arrows start at a. They do not chain.

No.

Answer: no

2
Premises: a → b and c → b. Can they form a syllogism?
Show Answer

Both arrows end at b. They do not chain.

No.

Answer: no

3
Premises: a → b and c → a. Can they form a syllogism? If yes, write the conclusion.
Show Answer

Chain c to a to b.

Yes.

c → b

Answer: yes; c → b

4
Given p → q and p. Write the conclusion and name the law.
Show Answer

Law of Detachment.

q

Answer: q; Law of Detachment

5
Given p → q and ∼q. Write the conclusion and name the law.
Show Answer

Law of Contrapositive.

∼p

Answer: ∼p; Law of Contrapositive

6
Given p → q and ∼p. A student concludes ∼q and names the Law of Contrapositive. Is the student correct?
Show Answer

The Law of Contrapositive needs ∼q to conclude ∼p.

The student used the inverse. That is a contrapositive error.

No. There is no conclusion.

Answer: no; contrapositive error

Level 2

Medium

Draw a valid conclusion from words, and name the rule. If none, say no conclusion.

Example
If a polygon is a pentagon, then it has 5 sides. ABCDE is a pentagon. What can you conclude, and which law did you use?

p → q and p.

Law of Detachment.

ABCDE has 5 sides.

Answer: ABCDE has 5 sides; Law of Detachment

1
If you finish the lab, then you may leave. If you may leave, then you catch the early bus. What can you conclude, and which law?
Show Answer

p → q and q → r.

Law of Syllogism.

If you finish the lab, then you catch the early bus.

Answer: If you finish the lab, then you catch the early bus; Law of Syllogism

2
If a triangle is right, then it has a 90° angle. Triangle PQR does not have a 90° angle. What can you conclude, and which law?
Show Answer

p → q and ∼q.

Law of Contrapositive.

Triangle PQR is not a right triangle.

Answer: PQR is not right; Law of Contrapositive

3
If you are in choir, then you can read music. Jordan can read music. What can you conclude?
Show Answer

p → q and q.

That is the converse. It is not a law of logic.

No conclusion.

Answer: no conclusion

4
All squares have 4 right angles. Figure ABCD does not have 4 right angles. What can you conclude, and which law?
Show Answer

If a figure is a square, then it has 4 right angles.

∼q is given.

Law of Contrapositive.

ABCD is not a square.

Answer: ABCD is not a square; Law of Contrapositive

5
If it is a weekday, then the library opens at 8. Today is Saturday. What can you conclude?
Show Answer

p → q and ∼p.

That is the inverse. It is not a law of logic.

No conclusion.

Answer: no conclusion

6
If a student has a hall pass, then the student may be in the hallway. Diego does not have a hall pass. A classmate says Diego may not be in the hallway, by the Law of Contrapositive. Is that valid?
Show Answer

p → q and ∼p.

The classmate used the inverse and called it the Law of Contrapositive.

That is a contrapositive error. No conclusion.

Answer: no; contrapositive error

Level 3

Hard

Word arguments that look like a chain. Some are syllogisms. Some are not.

Example
If a kettle is on, then the water heats. If the water heats, then it boils. Therefore, if a kettle is on, then the water boils. Is this a syllogism? Justify.

p → q

q → r

p → r

The arrows chain. Yes. Law of Syllogism.

Answer: yes; Law of Syllogism

1
If a coin has a reeded edge, then it is a dime. If a coin is a dime, then it is worth 10 cents. Therefore, if a coin has a reeded edge, then it is worth 10 cents. Is this a valid syllogism?
Show Answer

The form is p → q and q → r, so p → r.

The chain is valid, even if a real reeded-edge coin might not be a dime.

Yes, as an argument form (Law of Syllogism).

Answer: yes; the chain is a syllogism

2
If you go to the beach, then you see a sunset. If you are in California, then you see a sunset. Therefore, if you go to the beach, then you are in California. Is this a syllogism?
Show Answer

p → q and r → q.

Both arrows end at q. They do not chain.

No.

Answer: no

3
If a student takes Geometry, then the student has passed Algebra 1. Amira has passed Algebra 1. What can you conclude?
Show Answer

p → q and q.

No conclusion.

Answer: no conclusion

4
If the printer has paper, then it can print. The printer cannot print. What can you conclude, and which law?
Show Answer

p → q and ∼q.

Law of Contrapositive.

The printer does not have paper.

Answer: The printer does not have paper; Law of Contrapositive

5
If you buy a ticket, then you may enter. If you may enter, then you find a seat. If you find a seat, then you see the opening number. Write one valid conclusion that uses syllogism twice.
Show Answer

Chain all three arrows.

If you buy a ticket, then you see the opening number.

Answer: If you buy a ticket, then you see the opening number.

6
If the battery is charged, then the flashlight turns on. The battery is not charged. Therefore the flashlight does not turn on. Is this valid? If not, name the error.
Show Answer

p → q and ∼p.

The argument uses the inverse and treats it like the Law of Contrapositive.

No. That is a contrapositive error. No conclusion.

Answer: no; contrapositive error

Proof

Proof in Logical Order

Rewrite as if-then as needed, then line the arrows up so each conclusion is the next hypothesis.

Example
Put the following proof in logical order. You may need to rewrite some statements so that the proof flows from one statement to the next.

After Kai showers, he walks home.

When the pool is open, Kai swims laps.

Kai showers if he swims laps.

Rewrite each statement as if-then. Then put the rows in chain order so the conclusion of one line is the hypothesis of the next.

OriginalRewritten as if-then
When the pool is open, Kai swims laps.If the pool is open, then Kai swims laps.
Kai showers if he swims laps.If Kai swims laps, then he showers.
After Kai showers, he walks home.If Kai showers, then he walks home.

Conclusion: If the pool is open, then Kai walks home.

Answer: If the pool is open, then Kai walks home.

1
Put the following proof in logical order. You may need to rewrite some statements so that the proof flows from one statement to the next.

When the bell rings, Maya leaves class.

Maya walks to the bus if she leaves class.

After Maya gets a seat, she texts her brother.

Maya gets a seat when she walks to the bus.

If Maya texts her brother, then he meets her at the stop.

Show Answer

Rewrite each statement as if-then. Then put the rows in chain order so the conclusion of one line is the hypothesis of the next.

OriginalRewritten as if-then
When the bell rings, Maya leaves class.If the bell rings, then Maya leaves class.
Maya walks to the bus if she leaves class.If Maya leaves class, then she walks to the bus.
Maya gets a seat when she walks to the bus.If Maya walks to the bus, then she gets a seat.
After Maya gets a seat, she texts her brother.If Maya gets a seat, then she texts her brother.
If Maya texts her brother, then he meets her at the stop.If Maya texts her brother, then he meets her at the stop.

Conclusion: If the bell rings, then he meets her at the stop.

Answer: If the bell rings, then he meets her at the stop.

2
Put the following proof in logical order. You may need to rewrite some statements so that the proof flows from one statement to the next.

Noah sets a timer if he puts in the pizza.

If the timer beeps, then Noah takes out the pizza.

When Noah turns the oven on, it preheats.

After the oven preheats, Noah puts in the pizza.

When Noah sets a timer, the timer beeps.

Show Answer

Rewrite each statement as if-then. Then put the rows in chain order so the conclusion of one line is the hypothesis of the next.

OriginalRewritten as if-then
When Noah turns the oven on, it preheats.If Noah turns the oven on, then it preheats.
After the oven preheats, Noah puts in the pizza.If the oven preheats, then Noah puts in the pizza.
Noah sets a timer if he puts in the pizza.If Noah puts in the pizza, then he sets a timer.
When Noah sets a timer, the timer beeps.If Noah sets a timer, then the timer beeps.
If the timer beeps, then Noah takes out the pizza.If the timer beeps, then Noah takes out the pizza.

Conclusion: If Noah turns the oven on, then he takes out the pizza.

Answer: If Noah turns the oven on, then he takes out the pizza.

Need help naming the law of logic?

Book a Session with Amy