13 terms

- conditional statements
- biconditional statements
- proofs
-theorems
-postulates

Inverse

Negate the hypothesis & conclusion of a conditional statement

Contrapositive

Negate the hypothesis & conclusion of the converse of an original statement

Converse

A conditional statement formed by switching the hypothesis and conclusion

Biconditional statement

a statement that contains the phrase "if and only if"

Law of detachment

if p ➡ q is a true conditional statement and p is true, than q is true

Law of syllogism

if p ➡q and q➡r are true conditional statements then p➡r is true

Congruent Supplements Theorem

If 2 angles are supplementary to the same angle (or to congruent angles) then they are congruent

Congruent Complements Theorem

If 2 angles are complementary to the same angle (or to congruent angles) then they are congruent

Linear Pair Postulate

If 2 angles form a linear pair, then they are supplementary

Vertical Angles Theorem

Vertical angles are congruent

Right Angle Congruence Theorem

All right angles are congruent

Postulate

A statement accepted without a proof

Theorem

Statement that is proved