| A | B |
|---|
| Conditional statement | A type of logical statement that has two parts, a hypothesis and a conclusion. |
| If-then form | A conditional statement using the words “if” and “then.” The “if” part contains the hypothesis and the “then” part contains the conclusion. |
| Hypothesis | The “if” part of a conditional statement. |
| Conclusion | The “then” part of a conditional statement. |
| Converse | A statement formed by switching the hypothesis and the conclusion of a conditional statement |
| Negation | A statement is formed by writing the negative of the statement. |
| Inverse | The statement formed when you negate 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. |
| Equivalent Statements | Two statements that are both true or both false. |
| Postulate | Rules that are accepted without proof. |
| Theorem | A true statement that follows as a result of other true statements. |
| Biconditional statement | A statement that contains the phrase “if and only if”. |
| The law of detachment | If p-> q is a true conditional statement, and p is true, then q is true. |
| The law of syllogism | If p -> q and q-> r are true conditional statements, then p ->r is true. |
