题目内容
(请给出正确答案)
[主观题]
设是一线序集合,但不是良序集合。在论述域上找出谓词P,以证明在该域上,应用词典序则数学归纳法
设是一线序集合,但不是良序集合。在论述域上找出谓词P,以证明在该域上,应用词典序则数学归纳法第二原理不是一个有效的推理规则。
答案
查看答案
设是一线序集合,但不是良序集合。在论述域上找出谓词P,以证明在该域上,应用词典序则数学归纳法第二原理不是一个有效的推理规则。
第1题
证明下列断言:
(a)如果R是拟序,那么也是拟序。
(b)如果R是偏序,那么也是偏序。
(c)如果R是线序,那么也是线序。
(d)存在一集合S和S上的关系R,使(S,R)是良序集合,但不是。
第3题
第5题
设< A,+,‧>是一个代数系统,其中+,‧为普通的加法和乘法运算,A为下列集合:
问< A,+,‧>是域否?为什么?
第8题
设偏序集的关系图如右图所示。
(1)画出的哈斯图。
(2)设B={b,c},求B的上界集合C和上确界,下界集合D和下确界。