Term Definition
biconditional statement A statement is biconditional if the original conditional statement and the converse statement are both true.
Conditional Statement A conditional statement (or 'if-then' statement) is a statement with a hypothesis followed by a conclusion.
contrapositive If a conditional statement is p→q (if p then q), then the contrapositive is ∼q→∼p (if not q then not p).
converse If a conditional statement is p→q (if p, then q), then the converse is q→p (if q, then p. Note that the converse of a statement is not true just because the original statement is true.
inverse If a conditional statement is p→q, then the inverse is ∼p→∼q.
Logically Equivalent A statement is logically equivalent if the "if-then" statement and the contrapositive statement are both true.
premise A premise is a starting statement that you use to make logical conclusions.
Show Details
