二、量词对→的分配率

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