2019 离散数学(福建师范大学)1206095300 最新满分章节测试答案
本答案对应课程为:点我自动跳转查看
本课程起止时间为:2019-03-10到2019-06-15
本篇答案更新状态:已完结
第一篇章 数理逻辑 数理逻辑单元测验（修订版）
1、 问题:下列（ ）那些运算符都是可交换的
选项：
A:
B:
C:
D:
答案: 【】
2、 问题:设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，下列（ ）命题的真值为真。
选项：
A:
B:
C:
D:
答案: 【】
3、 问题:全体小项合取式为（ ）。
选项：
A:可满足式
B:矛盾式
C:永真式
D:A，B，C都有可能
答案: 【矛盾式】
4、 问题:下列哪些公式为永真蕴含式（ ）。
选项：
A:
B:
C:
D:
答案: 【】
5、 问题:命题逻辑演绎的CP规则为（ ）。
选项：
A:在推演过程中可随便使用前提；
B:在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；
C:如果要演绎出的公式为
形式，那么将B作为前提，设法演绎出C；
D:设
是含公式A的命题公式，
，则可用B替换
中的A。
答案: 【如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C；】
6、 问题:对一阶逻辑公式
的说法正确的是( )。
选项：
A:x是约束的，y是约束的，z是自由的
B:x是约束的，y既是约束的又是自由的，z是自由的
C:x是约束的，y既是约束的又是自由的，z是约束的
D:x是约束的，y是约束的，z是约束的
答案: 【x是约束的，y既是约束的又是自由的，z是自由的】
7、 问题:设个体域为有理数集Q，则以下谓词公式中为假的是（）。
选项：
A:
B:
C:
D:
答案: 【】
8、 问题:“人总是要死的”谓词公式表示为（ ）。（论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。
选项：
A:
B:
C:
D:
答案: 【】
9、 问题:下列语句是命题的有（ ）。
选项：
A:明年中秋节的晚上是晴天。
B:x+y>0。
C:xy>0 当且仅当 x 和 y 都大于0。
D:我正在说谎。
答案: 【明年中秋节的晚上是晴天。;
xy>0 当且仅当 x 和 y 都大于0。】
10、 问题:若
和B为wff，且
则（ ）。
选项：
A:称
为B的前件
B:称B为
的有效结论
C:当且仅当
D:当且仅当
答案: 【称B为的有效结论;
当且仅当】
11、 问题:命题“存在一些人是大学生”的否定是：“所有人都不是大学生”
选项：
A:正确
B:错误
答案: 【正确】
12、 问题:能够判断真假的陈述句称为__。
答案: 【命题】
13、 问题:命题公式
的真值为 。
答案: 【(以下答案任选其一都对)真;
T;
True;
true;
1;
t】
14、 问题:
中R(x,y)中的y为__。
本文章不含期末不含主观题！！
本文章不含期末不含主观题！！
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦，电子资源购买后不支持退款哦
