## Thinking Mathematically (6th Edition)

$p \rightarrow \neg q$
This involves a conditional statement where: The antecedent (or condition) is being human ($p$). The consequent is not having feathers ($\neg q$). Thus, in symbols, we find: $p \rightarrow \neg q$