| A | B |
|---|
| conditional statemetn | a type of logical statement that has two parts, a hypothesis and a conclusion |
| conjecture | an unproven statement that is based on observations |
| conclusion | the "then" part of a conditional statement |
| hypothesis | the "if" part of a conditional statement |
| if-then form | the form of a conditional statement that uses the words "if" and 'then" |
| converse | the statement formed by switching the hypothesis and conclusion of a conditional statement |
| contrapositive | the statement formed when you negate the hypothesis and conclusion of the converse of a conditional statement |
| inverse | the statement formed when you negate the hypothesis and conclusion of a conditional statement |
| negation | the negative of a statement |
| equivalent statements | two statements that are both true or both false |
| perpendicular | lines that intersect to form a right angle |
| biconditional | a statement that contains the phrase "if and only if" |
| logical | an argument based on deductive reasoning |
| deductive | the type of reasoning that uses facts, definitions, and accepted properties in a logical order to write an argument |
| inductive | the type of reasoning that uses previous examples and patterns to form a conjecture |
| Law of Detachment | if p->q is a true conditional statement and p is true, then q is true |
| Law of Syllogism | If p->q and q->r are true conditional statements, then p->r is true |
| theorem | a true statement that follows as a result of other true statements |
| two-column proof | has numbered statements and reasons that show the logical order of an argument |
