| A | B |
|---|
| symmetric property of equality | If 10=b, then b=10. |
| reflexive property of equality | x=x |
| transitive property of equality | If x=y and y=z, then x=z. |
| substitution property of equality | If p+q=14 and q=3, then p+3=14. |
| addition property of equality | If x-5=20, then x=25. |
| subtraction property of equality | If y+3=12, then y=9. |
| multiplication property of equality | If x/3=5, then x=15. |
| division property of equality | If 4x=16, then x=4. |
| Law of syllogism | If p->q and q->r, then p->r. |
| Law of Detachment | If p->q and p is true, then q is true. |
| Converse | switch the IF with the THEN in a conditional |
| counter-example | an example that proves a conditional false |
