14、¬∃x(H(x)∧¬P(x))
15、A单射 非满射 非双射
B 非单射 非满射 非双射
C 非单射 满射 非双射
D 单射 满射 双射
16
最大元不存在
最小元 4
上确界 1
下确界 4
二
1
∃x(¬(∃yP(x,y))→(∃zQ(z)→R(x)))
⇔∃x(¬(∃yP(x,y))→(∀z(Q(z)→R(x))))
⇔∃x(¬(∃yP(x,y))→(∀z(Q(z)→R(x))))
⇔∃x((∀y¬P(x,y))→(∀z(Q(z)→R(x))))
⇔∃x(∃y(¬P(x,y)→(∀z(Q(z)→R(x)))))
⇔∃x(∃y(∀z(¬P(x,y)→(Q(z)→R(x)))))
⇔∃x∃y∀z(¬P(x,y)→(Q(z)→R(x)))
2
关系矩阵 M=
0 1 0 0
0 0 1 1
0 1 0 0
0 0 0 0
R={,,,
传递闭包 t(R)={,,,,,,
0 1 1 1
0 1 1 1
0 1 1 1
0 0 0 0
先给钱。
现在的人不想动脑子,只知道用钱,一边去