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