Laws of Logic
The number of VALID laws of logic we have studied
What is 3
"Vertical angles are congruent" as a conditional statement
What is "If angles are vertical angles, then they are congruent"
a=a
What is the reflexive property of equality?
Two angles whose measures add to 90 degrees
What are complementary angles?
p implies q
p, therefore q
What is the law of detachment?
not p implies not q
What is an inverse statement?
If a=b then b=a
What is the symmetric property of equality?
Two angles whose measures add to 180 degrees
What are supplementary angles?
p implies q
not q, therefore not p
not q implies not p
What is a contrapositive statement?
If a=b and b=c then a=c
Transitive Property of Equality
Divides a segment into two congruent statements
What is a midpoint?
p implies q
q implies r
therefore p implies r
What is the law of syllogism?
The converse of a conditional statement
What is q implies p?
If a=b then a may be replaced by b in any expression or equation
What is the Substitution property of equality?
Divides an angle into two congruent angles
What is an angle bisector?
Two common logic errors
What are the converse error and the inverse error?
"if segments are congruent, then they have an equal measure" as a biconditional statement
What is "Segments are congruent if and only if they have equal measures"
If a=b then a*c=b*c
Multiplication Property of Equality
Two angles that are supplementary and adjacent
What is a linear pair?