对当关系的变化
在谓词逻辑中，性质命题的结构分析有一些不同于传统逻辑的分析。特别 是，这种分析基于命题逻辑。因为，全称命题成了一个蕴涵式，特称命题成 了合取式。
矛盾关系仍成立： 例如，否定 (x)(Sx¬Px) ，即 ¬(x)(Sx¬Px) , 它等于 (x) ¬(Sx¬Px) ,即(x)(Sx ∧Px) ，这就是E假等值于I真
对“如果所有的牛是食草动物，那么，有些动物是食草动物”， 要析出全称量词 (x) 和存在量词 (x)
分析谓词
凡是不直接表示事物本身的普遍语词，都要析为谓词。如 ， “ 在巴塞罗那奥运会上，某球赛赛场的所有观众是中国人或美国 人” ， 其中要析出谓词 “ 观众”、“中国人”、“美国人”。同样 的谓词用同样的谓词符号。
原来是受全称量词约束的，这样的个体称为不带标记的，它是任意选取的
个体。一个变项是否可用全称概括，就看它是否从去掉全称量词得来。
教科书p215例证明中的第5步错误，10条命题逻辑证明规则中无
“假言三段论；p216例2证明中的第5步错误，证明规则中无 “否定后
件”。误用+ 规则的例子 重庆很大，所以一切东西都很大。 a＝重庆 L＝很大
2. Ea
AP
3. (x) Ex
2 , +
错误 a不是从去掉全称量词得来的
4. ¬(x) Ex ∧(x) Ex
1, 3 , ∧+
5. ¬Ea
2 , 4 , ¬+
6. (x) ¬Ex
5 , +
存在概括规则 （存在量词引入 + E.G.）
任一个体（υ）有某性质（φ），当然就存在一个体（x ）有性质（φ）。
(x) (VxGx）∧ (x) (Cx Gx）＝ (x) (（Vx ∨Cx ）Gx） 即 “无论弹琴还是舞剑都是他的爱好”
