## Thinking Mathematically (6th Edition)

$p$: The heater is working. $\neg q$ The house is not cold. The arrow indicates that we should use an if-then statement. Thus, the given symbol means: If the heater is working, then the house is not cold.