c) tồn tại một x thuộc ℝ, |x| > x;

c) Gọi C: “∃x ∈ ℝ, |x| > x”.

Mệnh đề phủ định của mệnh đề C: “∃x ∈ ℝ, |x| > x” là mệnh đề C¯: “∀x ∈ ℝ, |x| ≤ x”.

Ta luôn có |x| ≥ x với mọi giá trị thực của x. Do đó mệnh đề C là mệnh đề đúng, mệnh đề C¯ là mệnh đề sai.