离散数学---约束论域的量词

1. 在要限定一个量词的论域时经常会采用简写的表示法。在这个表示法里，变量必须满足的条件直接放在量词的后面
2. 量词的优先级：量词对任意的和存在比命题演算中的所有逻辑运算符都具有更高的优先级
3. 变量绑定：当量词作用于变量x时，我们说此变量的这次出现为约束的。一个变量的出现被称为是自由的，如果没有被量词约束或设置为等于某--特定值。命题函数中的所有变量出现必须是约束的或者被设置为等于某个特定值的，才能把它转变为一个命题。这可以通过采用一组全称量词、存在量词和赋值来实现。
4. 涉及量词的逻辑等价式：