Conclusion  -  The clause of a conditional statement that begins with "then."

Conditional Statement  -  A statement with "if-then" structure; it has an "if" clause and a "then" clause.

Conjunction  -  Two statements joined by the word "and" into a single statement; p∧q.

Contrapositive  -  A conditional statement whose hypothesis and conclusion were negated and switched. Given p∧q, the contrapositive is ∼q∧∼p.

Converse  -  A statement whose hypothesis and conclusion were switched. Given p∧q, the converse is q∧p.

Declarative Sentence  -  A sentence that asserts a fact; a sentence that states something.

Disjunction  -  Two statements joined by the word "or" into a single statement; p∨q.

Hypothesis  -  The clause preceded by "if" in a conditional statement; it states the condition.

Implication  -  Two statements combined into one, in which one statement is preceded by the word "if" and the other statement is preceded by the word "then." Through implication, conditional statements are formed.

Inverse  -  A statement whose hypothesis and conclusion were both negated. Given p∧q, the inverse is ∼p∧∼q.

Negation  -  The opposite of a statement; its truth value is the opposite of the original statement.

Statement  -  A declarative sentence that is definitely either true or false.

Truth Table  -  A table, or chart, that displays the truth values for the statements in it for every possible scenario.

Truth Value  -  The truth or falsehood of a statement. Every statement has exactly one of two truth values: either true or false (T or F).