命题符号化 个体域( scope):个体词的取值范围,缺省 (deau.用全总个体域 全总个体域:世界上的万事万物 特性谓词:表示所关注的对象的性质 两种模式 X(M(×)→>G(×) 彐x(M(X)^G(x) 其中M)是特性谓词。 《集合论与图论》第2讲《集合论与图论》第2讲 9 命题符号化 个体域(scope): 个体词的取值范围, 缺省 (default)采用全总个体域. 全总个体域: 世界上的万事万物 特性谓词: 表示所关注的对象的性质 两种模式: ∀x(M(x)→G(x)) ∃x(M(x)∧G(x)) 其中M(x)是特性谓词。