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