| A | B |
| conjecture | an educated guess |
| conditional statement | is a statement that can be written in if-then form |
| conclusion | the "then" part of a statement |
| converse | a conditional statement is formed by interchangeing the hypothesis and conclusion |
| counterexample | a false example |
| deductive reasoning | a system of reasoning used to reach logical conclusions |
| hypothesis | the "if" part of a staement |
| if-then statement | a sentance that staes if something is true then something else is true |
| inductive reasoning | looking at specific situations to arrive at a conjecture |
| Law of Detachment | if p~q is a true conditional and p is true then q is true |
| Law of Syllogism | if p~q and q~r are true conditionals then p~r is also true |
| postulate | a statement that describes a fundamental property of the basic terms, these are also accepted as being true |
| theorem | a statement must be proven before itis accepted as true |
| two-coulmn proof | a formal proof in which statements are listed in one coulmn and the reasons for each statement are listed in a second column |