## Thinking Mathematically (6th Edition)

Use the following representations to determine the symbolic form of the provided statements. \begin{align} & \text{ }p:\text{ it is Thanksgiving} \\ & q:\text{ people eating turkey} \\ \end{align} The statement “Some people eating turkey is necessary for it to be Thanksgiving” in the symbolic form is$p\to q$. The contra positive of $p\to q$ is$\sim q\to \sim p$. Hence, the statement form of $\sim q\to \sim p$ is “If no one is eating turkey, then it is not Thanksgiving.” The negation of $p\to q$ is$p\wedge \sim q$. Hence, the statement form of $p\wedge \sim q$ is “It is Thanksgiving and no one is eating turkey.”