离散数学题 将下列语句符号化 (论域使用全总个体域) (1) 不存在又不好好学习又能拿到好成绩的

2025-03-13 08:45:15
推荐回答(1个)
回答1:

正确答案:
(1)
A(x): x是学生
B(x): x好好学习
C(x): x拿到好成绩

¬(∃xA(x)∧¬B(x)∧C(x))

(2)
A(x): x是老师
B(x): x可爱
C(x): x聪明

∃x(A(x)∧B(x))

(3)
A(x): x是实数
B(x,y): xC(x,y): x=y
D(x,y): x>y
∀x∀y(A(x)∧A(y)→B(x,y)∨C(x,y)∨D(x,y))

(4)
A(x): x是学生
B(x): x是学院的
C(x): x是本科生

¬(∀x(A(x)∧B(x))→C(x))

(5)
A(x): x是中国
B(x,y): x与y是同一个国家
∀x∀y(A(x)∧A(y))→B(x,y)