| A | B |
| Inductive reasoning | A type of reasoning that reaches conclusions based on a pattern of specific examples or past events. |
| Conjecture | A conclusion reached by using inductive reasoning. |
| Counterexample | An example showing that a statement is false. |
| Conditional | An if-then statement. |
| Hypothesis | In an if-then statement (conditional), it is the part that follows if. |
| Conclusion | In an if-then statement (conditional), it is the part that follows then. |
| Truth Value | “True” or “False” according to whether the statement is true or false. |
| Negation | Has the opposite meaning of the original statement. |
| Converse | Reversing the hypothesis and conclusion of the conditional statement. |
| Inverse | Adding “not” to the conditional statement. |
| Contrapositive | Reversing the hypothesis and conclusion of the conditional statement as well adding “not”. |
| Equivalent statements | Statements that have the same truth value (either both true or both false). |
| Biconditional | The combination of a true conditional statement with its true converse, joined with the words “if and only if” (iff). |
| Deductive reasoning | A type of reasoning based on the process of reasoning logically from given facts to a conclusion. |
| Law of Detachment | If the hypothesis of a true conditional is true, then the conclusion is true. |
| Law of Syllogism | Chain reaction. If p to q is true and q to r is true, then p to r is true. Similar to Transitive Property |
| Reflexive Property | Anything is equal to itself. |
| Symmetric Property | When two things are equal, you can flip the order. |
| Transitive Property | Cuts out the middle and forms new statement. Similar to Law of Syllogism |
| Proof | A convincing argument that uses deductive reasoning. |
| Two-Column Proof | The statements and reasons are aligned |
| Theorem | A conjecture that is proven. |