谓词公式的规则

• 改名规则
  • 把量词内它管辖的变元所有一起更改不能和辖域内其他出现的变元同名
• 量词否定等价式
• 量词辖域的扩展与收缩
• 量词分配率（本质的辖域对应不发生变化）
• 吸收：
  • 任意：and 的情况可以变成一个变量
  • 存在：or 的情况可以变成一个变量

$$(\forall x)(G(x)\wedge H(x))=(\forall x)G(x)\wedge (\forall x)H(x)$$ $$(\exists x)(G(x)\vee H(x))=(\exists x)G(x)\vee (\exists x)H(x)$$