吉大网院20春《离散数学》第一学期毕业考试

一、简答题（每小题8分，共80分）POW傲朋学习网
1、请给出集合的等幂律。POW傲朋学习网
2、设A={1，2，3}，求幂集合((A)。POW傲朋学习网
3、请给出(P，P(Q，P(Q的真值表。POW傲朋学习网
4、请给出公式蕴涵的定义。举一个例子。POW傲朋学习网
5、Skolem范式中的母式有什么特点？POW傲朋学习网
6、设G是谓词逻辑公式，S是G的Skolem范式，问：S蕴涵G正确吗？G蕴涵S呢？POW傲朋学习网
7、有根的有向图是否一定强连通？有向图中的根是否一定唯一？POW傲朋学习网
8、Euler路一定是有向回路吗？为什么？POW傲朋学习网
9、请给出4次交代群中的所有元素。POW傲朋学习网
10、什么是代数格？举一例。POW傲朋学习网
二、设A是m元集合，B是n元集合。问A到B共有多少个不同的二元关系？设A={a，b}，B={1， 2}，试写出A到B上的全部二元关系。                      （10分）POW傲朋学习网
三、判断下列公式是恒真？恒假？可满足？POW傲朋学习网
a) (P((Q(R))(((P(((Q((R))；POW傲朋学习网
  b) P((P((Q(P))；POW傲朋学习网
  c) (Q(P)(((P(Q)；POW傲朋学习网
d) ((P((Q)((P((Q)。                                           （10分） Q 761296 021POW傲朋学习网