| A | B |
| Conjecture | A conclusion you reach using inductive reasoning. |
| Deductive reasoning | Reasoning based on fact. |
| Inductive Reasoning | Reasoning that uses a number of specific examples to arrive at a plausible generalization or prediction. |
| Counterexample | An example that shows that a conjecture is incorrect. |
| If – Then Statement | Can be used to clarify a statement. |
| Hypothesis | The portion of the statement following the if. (p) A person is a baby |
| Conclusion | The portion of the statement following the then. (q) |
| Negation | The denial of a statement. |
| Converse | The statement formed by interchanging the hypothesis and conclusion of a conditional statement. (q → p) |
| Inverse | Given a conditional statement, the inverse is formed by negating both the if and then statement. |
| Contrapositive | Is formed by negating the hypothesis and conclusion of the converse of the given conditional. |
| Property Law of Detachment | Whenever a conditional is true and its hypothesis is true, we can assume that its conclusion is true. If p => q is a true conditional and p is true, then q is true. |
| Property Law of Syllogism | Is similar to the Transitive Property of Equality from Algebra. If p => q and q => r are true conditionals, then p => r is also true. |