Phát biểu mệnh đề phủ định của mệnh đề K

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

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

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

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