(2)在{,2}域上分析 (x)P(x)=-(P(1)4P(2)=-P(1)→P(2)=(X) P(X) (X)P(×)=-((1)vP(2)=P(1)^-P(2)=(y×) P(×) 这样看来,否定词越过量词的内移规律,就是摩根 律的推广(2)在{l,2}域上分析 ﹁(x)P(x)=﹁(P(1)^P(2))=﹁P(1)v﹁P(2)=(x) ﹁ P(x) ﹁(x)P(x)=﹁(P(1)vP(2))=﹁P(1)^﹁P(2)=(x)﹁ P(x) 这样看来,否定词越过量词的内移规律,就是摩根 律的推广.