Lập mệnh đề phủ định của các mệnh đề sau

Dưới đây là mệnh đề phủ định của các mệnh đề đã cho:

a) \( \exists n \in \mathbb{N}: n \text{ chia hết cho } a \)
**Phủ định:** \( \forall n \in \mathbb{N}: n \text{ không chia hết cho } a \)

b) \( \forall x \in \mathbb{Z}: x < 2 \)
**Phủ định:** \( \exists x \in \mathbb{Z}: x \geq 2 \)

c) \( \exists x \in \mathbb{Q}: x^3 - 3x = 3 \)
**Phủ định:** \( \forall x \in \mathbb{Q}: x^3 - 3x \neq 3 \)

d) \( \exists n \in \mathbb{N}: n^2 + \sqrt{n} + 3 < 0 \)
**Phủ định:** \( \forall n \in \mathbb{N}: n^2 + \sqrt{n} + 3 \geq 0 \)

e) \( \sqrt{3} \text{ là số } \text{t } \)
**Phủ định:** \( \sqrt{3} \text{ không là số } \text{t } \)

f) \( 2017 \text{ chia hết cho } 3 \)
**Phủ định:** \( 2017 \text{ không chia hết cho } 3 \)