Considere a seguinte proposição: Se 𝑥 é um número natural, tal que 𝑥 ≥ 3 e 𝑥 possui apenas dois divisores também naturais e diferentes entre si, então 𝑥 é um número da forma 𝑥

Se o número natural 𝑥 não é da forma 𝑥 = 2𝑘 + 1, com 𝑘 ∈ ℕ, então o número natural 𝑥 ≥ 3 não possui apenas dois divisores naturais e distintos entre si.

Se o número natural 𝑥 ≥ 3 não é primo, então 𝑥 não é um número da forma 𝑥 = 2𝑘, com 𝑘 ∈ ℕ.

O número natural 𝑥≥3 é não primo e é da forma 𝑥 = 2𝑘 + 1, com 𝑘 ∈ ℕ.

Se o número natural 𝑥≥3 não possui apenas dois divisores naturais e distintos entre si, então 𝑥 não é da forma 𝑥 = 2𝑘 + 1, com 𝑘 ∈ ℕ.

O número natural 𝑥 ≥ 3 é primo e 𝑥 é um número da forma 𝑥 = 2𝑘, com 𝑘 ∈ ℕ.