Phủ định của mệnh đề A : “Tất cả số thập phân đều là số hữu tỉ” là mệnh đề nào?

\(\overline A :\) “Có duy nhất một số thập phân không là số hữu tỉ”;

\(\overline A :\) “Tất cả số thập phân đều không là số hữu tỉ”;

\(\overline A :\) “Tất cả số hữu tỉ đều viết được dưới dạng số thập phân”;

\(\overline A :\) “Có ít nhất một số thập phân không phải là số hữu tỉ”.