大学MOOC 离散数学(泉州师范学院)1452161258 最新慕课完整章节测试答案

单元测验-命题逻辑

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、单选题：
‍令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为‎
选项：
A:  p∧┐q
B: p∨┐q
C: p∧q
D: p→┐q
E: ┐p→q
答案: 【  p∧┐q ;
p∧q】

6、单选题：
‌设B不含有x，下列一阶逻辑等值式不正确的是‏
选项：
A:
B:
C:
D:
答案: 【