Beginning Activity Beginning Activity 2: Attempting to Negate Quantified Statements
1.
Consider the following statement written in symbolic form:
\begin{equation*}
\left( {\forall x \in \mathbb{Z}} \right)\left( {x\text{ is a multiple of 2 } }
\right)\text{.}
\end{equation*}
(a)
Write this statement as an English sentence.
(b)
Is the statement true or false? Why?
(c)
How would you write the negation of this statement as an English sentence?
(d)
If possible, write your negation of this statement from TaskĀ 1.b symbolically (using a quantifier).
2.
Consider the following statement written in symbolic form:
\begin{equation*}
\left( {\exists x \in \mathbb{Z}} \right)\left( {x^3 > 0} \right)\text{.}
\end{equation*}
(a)
Write this statement as an English sentence.
(b)
Is the statement true or false? Why?
(c)
How would you write the negation of this statement as an English sentence?
(d)
If possible, write your negation of this statement from TaskĀ 2.b symbolically (using a quantifier).