| A | B |
|---|
| conjecture | educated guess |
| inductive reasoning | uses specific examples to reach a conclusion |
| counterexample | proves something is not always true |
| conditional | two part statement |
| hypothesis | given information (after "if") |
| conclusion | result of given information (after "then") |
| converse | interchange hypothesis and conclusion |
| inverse | negate hypothesis and conclusion |
| contrapositive | interchange and negate hypothesis and conclusion |
| biconditional | combines a true statement and its true converse (uses iff) |
| deductive reasoning | uses a general rule to reach conclusions |
| law of detachment | p->q, p is true, q is ture |
| law of syllogism | p->q, q->r, p->r |
| reflexive | a = a |
| symmetric | if a = b, then b = a |
| transitive | if a = b and b = c, then a = c |
| addition property | if a = b, then a + c = b + c |
| subtraction property | if a = b, then a - c = b - c |
| multiplication property | if a = b, then ac = bc |
| division property | if a = b, then a/c = b/c |
| substitution property | if a = b, then a may be replaced by b |
| distributive property | a(b + c) = ab + bc |
| p -> q | p implies q |
| ~ | negation ("not") |
| ^ | and |
| v | or |
