| A | B |
|---|
| Conditional | p -> q |
| Biconditional | p <-> q |
| Converse | q -> p |
| Inverse | ~p -> ~q |
| Contrapositive | ~q -> ~p |
| Same on Left and Right | Reflexive Property |
| Flip over the Equal Sign | Symmetric Property |
| "Get rid of the Middle Man" | Transitive Property |
| Add Something to Both Sides | Addition Propety of Equality |
| Subtract Something from Both Sides | Subtraction Property of Equality |
| Multiply Something by Both Sides | Multiplication Property of Equality |
| Divide Something by Both Sides | Division Property of Equality. |
