Trong các mệnh đề sau, mệnh đề nào đúng?

(AI giải đề cho tôi)
Theo định nghĩa, trong mặt phẳng tọa độ $Oxy$, tập hợp các điểm có tọa độ là nghiệm của bất phương trình bậc nhất hai ẩn $ax+by\le c$ (với $a$, $b$ không đồng thời bằng 0) được gọi là miền nghiệm của bất phương trình đó. Do đó mệnh đề C đúng. Mệnh đề A sai vì phủ định của định nghĩa này. Mệnh đề B sai vì tập nghiệm của $2x-3y+1<0$ là một nửa mặt phẳng (không kể đường thẳng $2x-3y+1=0$), không phải là đường thẳng. Mệnh đề D sai vì chẳng hạn $(0;0)$ thỏa $0\le c$ khi $c\ge 0$, nói chung tập nghiệm không rỗng (ví dụ $x+y\le 1$ có vô số nghiệm).