证明存在真正的判断命题给出了一个正实数函数y = logax图象过点(3,2)