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; 01 đề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 x2Hỏi có bao nhiêu mệnh đề đúng: