| A | B |
| If two angles are right angles | then they are congruent |
| If two angles are straight angles | then they are congruent |
| If a conditional statement is true | then the contrapositive of the statement is also true |
| If angles are supplementary to congruent angles | then they are congruent |
| If angles are complementary to the same angle | then they are congruent |
| if angles are complementary to congruent angles, | then they are congruent |
| If angles are supplementary to the same angles | then they are congruent |
| If a segment is added to two congruent segments | the sums are congruent |
| If an angle is added to two congruent angles | then the sums are congruent (Addition Property) |
| If congruent segments are added to congruent segments | the sums are congruent |
| If congruent angles are added to congruent angles, | the sums are congruent |
| If a segment (or angle) is subtracted from congruent segments (or angles) | the differences are congruent |
| If congruent segments (or angles) are subracted from congruent segments (or angles) | the differences are congruent |
| If segments (or angles) are cngruent <Multiplication Property> | their like multiples are congruent |
| If segments (or angles) are congruent <Division Prop> | their like divisions are congruent |
| If angles (or segments) are congruent to congruent angles (or segments) | then they are congruent to each other |
| If angles (or segments) are congruent to the same angle (or segment) | then they are congruent to each other |
| Vertical angles | are congruent |
| All radii of a circle | are congruent |
| If two sides of a triangle are congruent | the angles opposite the sides are congruent (if sides, then <s) |
| If two angles of a triangle are congruent | the sides opposite the angles are congruent (If <s, then sides) |
| If two angles are both supplementary and congruent | then they are right angles |
| If two points are equidistant from the endpoints of a segment | then the two points determine the perpendicular bisector of that segment |
| If a point is on the perpendicular bisector of a segment | then it is equidistant from the endpoints of that that segment |
| If two non-vertical lines are parallel | then their slopes are equal |
| If the slopes of two non-vertical lines are equal | then they are parallel |
| If two lines are perpendicular and neither is vertical | each's slope is the opposite (negative) reciprocal of the other's. |
| If a line's slope is the opposite reciprocal of the other line's slope | the two lines are perpendicular |
| (FYI: Know midpt theorem) | M=(x1=x2)/2 , (y1+y2)/2 |