5.1.2否定型等值式 (×)P()=(×)-P(×) (x)P(x)=(V×)-P(×) ■形式上看这对公式,是说否定词”-”可越过量词深 入到量词的辖域内,但要把所越过的量词∨转换为彐, 彐转换为∨5．1．2 否定型等值式 ﹁(x)P(x)=(x)﹁P(x) ﹁(x)P(x)=(x)﹁P(x)  形式上看这对公式，是说否定词”﹁ ”可越过量词深 入到量词的辖域内，但要把所越过的量词转换为， 转换为