Xét tinh đúng sai của mệnh đề “Nếu ∀ n ∈ N và n 2 ⋮ 5 thì n ⋮ 5 ”.

Giả sử \[\forall n \in \mathbb{N}\] và \({n^2} \vdots 5\) mà ta có \(n\) không chia hết cho 5.

Vì \(n\) không chia hết cho 5 nên \(n\) có thể biểu diễn theo một trong các dạng sau: \(n = 5k \pm 1\) hoặc \(n = 5k \pm 2\).

Với \(n = 5k \pm 1\) ta có \({n^2} = 25{k^2} \pm 10k + 1\) không chia hết cho 5.

Với \(n = 5k \pm 2\) ta có \({n^2} = 25{k^2} \pm 20k + 4\) không chia hết cho 5.

Vậy mệnh đề trên đúng.