Answer
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.”