在下列关于谓词公式的描述中,错误的是( )。
A: 在一个谓词公式中,一个变元若是约束的,就不可以是自由的。
B: 在谓词公式中,紧接量词以后的最小子公式叫做该量词的辖域或作用域。
C: 一般情况下,一个谓词公式不是命题,只有当将谓词公式中的各种变元用指定的特殊的常元去代替,才能构成一个命题。这种代替就是对公式的一个解释。
D: 在谓词公式中,量词之前的否定联结词,不是否定该量词,而是否定该量词及其辖域。
A: 在一个谓词公式中,一个变元若是约束的,就不可以是自由的。
B: 在谓词公式中,紧接量词以后的最小子公式叫做该量词的辖域或作用域。
C: 一般情况下,一个谓词公式不是命题,只有当将谓词公式中的各种变元用指定的特殊的常元去代替,才能构成一个命题。这种代替就是对公式的一个解释。
D: 在谓词公式中,量词之前的否定联结词,不是否定该量词,而是否定该量词及其辖域。