Cho các mệnh đề sau đây:
(1) Hàm số f(x)=log22 x-log2x4+4 có tập xác định D=[0;+∞)
(2) Hàm số y=logax có tiệm cận ngang
(3) Hàm số y=logax; 0<a<1 và Hàm số y=logax, a>1 đều đơn điệu trên tập xác định của nó
(4) Bất phương trình: log125-2x2-1≤0 có 1 nghiệm nguyên thỏa mãn.
(5) Đạo hàm của hàm số y=ln1-cos x làsin x1-cos x2
Hỏi có bao nhiêu mệnh đề đúng: