conclusion
This is the statement that immediately follows the word then in a conditional statement.
conditional statement
A statement that can be written in if-then form.
conjecture
An educated guess based on known information.
contrapositive
The statement formed by negating both the hypothesis and the conclusion of the converse of a conditional statement.
converse
The statement formed by exchanging the hypothesis and conclusion of a conditional statement.
counterexample
An example used to show that a given substance is not always true.
hypothesis
The statement that immediately follows the word if in a conditional statement.
if-then statement
A compound statement of the form "if p, then q" where p and q are statements.
inductive reasoning
Reasoning that uses a number of specific examples to arrive at a plausible generalization or prediction. Conclusions arrived at by this lack the logical certainty of those arrived at by other types of reasoning.
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 then it is this.
postulate
A statement that describes a fundamental relationship between the basic terms of geometry. They are accepted as true without proof.
proof
A logical argument in which each statement you make is supported by a statement that is accepted as true.
theorem
A statement or conjecture that can be proven true by undefined terms, definitions, and postulates.
truth value
The truth or falsity of a statement.
two-column proof
A formal proof that contains statements and reasons organized in two columns. Each step is called a statement and the properties that justify each step are called reasons.