Phát biểu mệnh đề phủ định của mệnh đề K: " Bất phương trình x 2013 > 2030 vô nghiệm " và xét tính đúng sai của nó.
A. K ¯ : “Bất phương trình x 2013 < 2030 có nghiệm”, mệnh đề này đúng
B. K ¯ : “Bất phương trình x 2013 > 2030 vô nghiệm”, mệnh đề này đúng
C. K ¯ : “Bất phương trình x 2013 < 2030 có nghiệm”, mệnh đề này sai
D. K ¯ : “Bất phương trình x 2013 > 2030 có nghiệm”, mệnh đề này đúng