## Thinking Mathematically (6th Edition)

$p \rightarrow q$
If this is an alligator, then this is a reptile. The statement is conditional with antecedent: an alligator ($p$) consequent: a reptile ($q$) Thus, in symbols, we have: $p \rightarrow q$