The given compound statement is of the form “if p then q” p: x ∈ Z and $x^2$ is even. q: x is an even integer. We assume that q is false, then x is not an even integer. ⇒ x is an odd integer. ⇒ $x^2$ is an odd integer. ⇒ p is false So, when q is false, p is false. Thus, the given compound statement is true.