二、量词对→的分配率 　　(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无关, 这是很重要的条件。