命题符号化(举例 例:“有些人是要死的” 癱解1:采用全总个体域 设:F(x):X是人;G()X是要死的 原命题符号化成:彐X(F(×)AG(x) 解2:采用全体人作为个体域 设:G(x):X是要死的. 原命题符号化成:彐XG(x 《集合论与图论》第2讲《集合论与图论》第2讲 10 命题符号化(举例) 例: “有些人是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: ∃x(F(x)∧G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: ∃xG(x)