一、单项选择题（共 10 道试题，共 100 分。） 1. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )． A. （a）只是弱连通的 B. （b）只是弱连通的 C. （c）只是弱连通的 D....

一、填空题 1．命题公式的真值是 ． 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ． 3．含有三个命题变项P，Q...

一、单项选择题（共 10 道试题，共 100 分。） 1. 设个体域为整数集，则公式'x$y(x+y=0)的解释可为( )． A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在...

题目为随机，用查找功能（Ctrl+F）搜索题目 '题目：表达式中的辖域是(    )． : ; ; ;' '题目：命题公式 (_P_∨_→__Q_)_→__R_的析取范式是 (    )． : ┐(_P_∨_Q_)∨_R_ ; (_P_∨_Q_)...

一、单项选择题（共 10 道试题，共 100 分。） 1. 设个体域为整数集，则公式'x$y(x+y=0)的解释可为( )． A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在...

一、单项选择题（共 10 道试题，共 100 分。） 1. 命题公式P®Q的主合取范式是( )． A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ) B. ØPÙQ C. ØPÚQ D. PÚØQ 2. 设个体域D是整数集合，则命题'x$y (x×...

离散数学作业3 离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外...

一、单项选择题（共 10 道试题，共 100 分。） 1.  设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如右图所示，若A的子集B = {3, 4, 5}，则元素3为B的（    ）． A. 下界 B. 最小上界 C. ...

一、单项选择题（共 10 道试题，共 100 分。） 1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式 2. 设个体域为整数集，则公式'x$y(x+y=0)的解释可为( )． A. 存在一整...

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题...

一、单项选择题（共 10 道试题，共 100 分。） 1. 设集合A={a}，则A的幂集为( )． A. {{a}} B. {a，{a}} C. {，{a}} D. {，a} 2. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关...