| A | B |
|---|
| conjecture | a statement believed true by inductive reasoning |
| inductive reasoning | process of reasoning by specific cases (patterns) |
| counterexample | one example to show conjecture isn't true |
| hypothesis | p- follows word if |
| conclusion | q- follows word then |
| conditional statement | a statemtn says "if p, then q" |
| truth value | statement has this that states either T or F |
| negation | statement p "is not P" |
| converse | formed by exchanging the hypothesis and conclusion |
| inverse | formed by negating the hypothesis and conclusion |
| contrapositive | formed by exchanging the negated hypothesis and conclusion |
| logically equivalent | related statements that have same truth value |
| law of detachment | p--->q is true when p is true and q is true |
| law of syllogism | if p--->z and q--->r then p--->r is true |
| deductive reasoning | process of using logic and facts, definitions and properties |
| proof | uses logic to show statement is true |
| theorem | any statement that you can prove |
| linear pair theorem | if <A & <B linerar pair, then they are supplementary |
| congruent suplem. theorem | if <1 & <2 are supp. & <2 & <3 are also, then <1 congruent <3 |
| congruent comple. theorem | if <1 & <2 are compl & <2 & <3 are compl then <1 congruent <3 |
