Conditional Statements and Logic Symbols

A statement that can be written in the form 'If p, then q', where p is the hypothesis and q is the conclusion.

The contrapositive of a conditional statement 'If p, then q' is 'If not q, then not p'.

The inverse of a conditional statement 'If p, then q' is 'If not p, then not q'.

The converse of a conditional statement 'If p, then q' is 'If q, then p'.

The symbol ∨ means 'or' in logic.

The symbol ∧ means 'and' in logic.

The symbol → means 'implies' or 'if...then' in logic.

The symbol ¬ means 'not' in logic.