| A | B |
|---|
| biconditional | the conjunction of a conditional statement and its converse |
| conjecture | an educated guess based on known information |
| conjunction | a compound statement formed by joining two or more statements with the word AND |
| contrapositive | the statement formed by negating both the hypothesis and the conclusion of the converse of a statement |
| converse | the statement formed by exchanging the hypothesis and the conclusion of a conditional statement |
| counterexample | an example used to show that a given statement is not always true |
| deductive reasoning | a system of reasoning that uses facts, rules, definitions, or properties to reach logical conclusions |
| disjunction | a compound statement formed by joining two or more statements with the word OR |
| if-then statement | a compound statement of the form "if A, then B", where A and B are statements |
| inductive reasoning | reasoning that uses a number of specific examples to arrive at a plausible generalization or prediction |
| inverse | the statement formed by negating both the hypothesis and conclusion of a conditional statement |
| negation | if a statement is represented by P, then not P is the negation of the statement |
| postulate | a statement that describes a fundamental relationship between the basic terms of geometry |
| statement | any sentence that is either true or false, but no both |
| truth value | the truth or falsity of a statement |
