Phát biểu mệnh đề phủ định của mệnh đề K: "Bất phương trình x^2013 > 2030

A. $\overline{K}$: “Bất phương trình $x^{2013} < 2030$ có nghiệm”, mệnh đề này đúng

B. $\overline{K}$: “Bất phương trình $x^{2013} > 2030$ vô nghiệm”, mệnh đề này đúng

C. $\overline{K}$: “Bất phương trình $x^{2013} < 2030$ có nghiệm”, mệnh đề này sai

D. $\overline{K}$: “Bất phương trình $x^{2013} > 2030$ có nghiệm”, mệnh đề này đúng