Thinking Mathematically (6th Edition)

$r$: We are having a barbecue. $\neg q$: It is not July 4th. Note that the arrow means that we should use an "if-then" statement. Thus, the given symbol means: If we are having a barbecue, then it is not July 4th.