将自然语言翻译成逻辑表达式 这个班上的每个学生都学过微积分课程 S(x):x是这个班上的,C(x):x学过微积分课程 Vx(S(x)→>Cx)) 这个班上某些人去过墨西哥;这个班上每个学生都或去过加拿 大,或去过墨西哥 彐x(Sx)→M(x)or3x(S(x)∧M(x)? vx(S(x)→Ⅳ(x加拿大)vk(x,墨西哥) 练习:所有狮子都是凶猛的,有些狮子不喝咖啡。将自然语言翻译成逻辑表达式 这个班上的每个学生都学过微积分课程. S(x): x是这个班上的，C(x): x学过微积分课程 x (S(x)→ C(x)) 这个班上某些人去过墨西哥；这个班上每个学生都或去过加拿 大，或去过墨西哥. ∃x(S(x) → M(x)) or ∃x(S(x)  M(x))? x (S(x)→ V(x, 加拿大) V(x, 墨西哥) ) 练习：所有狮子都是凶猛的，有些狮子不喝咖啡