“若命题f（x）≥0，则其否定为f（x）〈0”的说法对吗？

我们知道，含有变元的语句不是命题，因为它不能判别真假，如x-3〉0，这不是命题，逻辑上称之为“命题形式”或俗称为“开语句”．这一类语句如果要成为命题，必须前面加上量词，全称量词或存在量词．比如，语句f（x）≥0前面加上全称量词，得全称命题：对所有的x，有f（x）≥0，其否定为存在命题：存在z，有f（x）〈0；