一、量词对∨、∧的分配率

  (x)(P(x)∨q) = (x)P(x)∨q
  (x)(P(x)∨q) = (x) P(x)∨q
  (x)(P(x)∧q) = (x)P(x)∧q
  (x)(P(x)∧q) = (x) P(x)∧q
  这是一组量词对∨、∧的分配律,其中q是命题变项与个体变元x无关,这是很重要的条件。