$∀ ∈ ℕ, m^2 + 3$ is even ⟶ $m$ is odd
$P = m^2 + 3$ is even
$Q = m$ is odd
By contrapositive: $¬Q ⟶ ¬P$
- $¬Q m$ is even, $m = 2k$
- $¬P m^2 + 3$ is odd $= (2k)^2 + 3$
Help what I should do now after this step!
$∀ ∈ ℕ, m^2 + 3$ is even ⟶ $m$ is odd
$P = m^2 + 3$ is even
$Q = m$ is odd
By contrapositive: $¬Q ⟶ ¬P$
Help what I should do now after this step!
As stated in the comments, a number is odd if and only if it is of the form $2a+1$ for some integer $a$.
$(2k)^2 + 3 = 4k^2 + 3 = 4k^2 + (2 + 1) = (4k^2 + 2) + 1 = 2(2k^2 + 1) + 1$.
Since $k$ is an integer, $k^2$ is an integer, so $2k^2+1$ is an integer. Let $a=2k^2+1$. Then $m=2a+1$, an odd integer.