在谓词逻辑中，使用量词应注意以下几点：
(1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变.
(2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全总个体域.
(3) 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的含义.
谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题. 所谓解释就是使公式中的每一个变项都有个体域中的元素相对应.
在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是全总个体域。一般地，使用全称量词"，特性谓词后用®；使用存在量词$，特性谓词后用Ù.