| A | B |
| Commutative Property of Addition | a+b=b+a |
| Commutative Property of Multiplication | ab=ba |
| Associative Property of Addition | (a+b)+c=a+(b+c) |
| Associative Property of Multiplication | (ab)c=a(bc) |
| Reflexive Property | a=a |
| Multiplicative Inverse Property | a/b(b/a)=1 |
| Transitive Property | If a=b and b=c, then a=c |
| Substitution Property | If a=b, then a can replace b |
| Addition Property | a=b = a+x=b+x |
| Subtraction Propert | a=b = a-x=b-x |
| Multiplication Property | a=b = ax=bx |
| Division Property | a=b = a/x=b/x |
| Additive Indentity Property | a+0=a |
| Multiplicative Identity Property | a(1)=a |
| Multiplicative Property of Zero | a(0)=a |
| Segment Addition Postulate | Segment AC= AB+BC |
| Angle Addition Postulate | Angle ABD=ABC+CBD |
| Definition of Congruence | If AB=CD, AB is congruent to CD |
| Law of Detachment | If P-Q is true and P is true, Q is true |
| Law of Syllogism | If P-Q and Q-R are true, P-R is true |