大学MOOC 数理逻辑(西南科技大学)1463188171 最新慕课完整章节测试答案

单元测试

1、单选题：
设P：天晴，Q：我去打球，则命题“若天晴，则我不去打球”可符号化为(    )。‌‌‎‌
选项：
A: ØQ®P
B: P®ØQ
C: P«ØQ
D: ØP®Q
答案: 【 P®ØQ】

2、单选题：
永真式的否定一定是（     ）‍‏‍
选项：
A:  永真式
B: 永假式
C: 可满足式
D: 重言式能
答案: 【 永假式】

3、判断题：
‏设p:天晴，q:小王去踢足球。“因为天晴，所以张华去踢足球.”可符号化为：q®p。‏‏‏
选项：
A: 正确
B: 错误
答案: 【 错误】

4、判断题：
‌设p:天晴，q:小王去踢足球。“张华去踢足球仅当天晴的时候.”可符号化为：p®q 。​‌​
选项：
A: 正确
B: 错误
答案: 【 错误】

5、判断题：
‎语句“你知道我在等你吗？”是命题。​‎​
选项：
A: 正确
B: 错误
答案: 【 错误】

6、判断题：
‍语句“若这个公式为永真蕴含式，则它的真值不能为假。”是命题。‎‍‎
选项：
A: 正确
B: 错误
答案: 【 正确】

7、判断题：
‏语句“下列语句不是命题”是命题。‎‏‎
选项：
A: 正确
B: 错误
答案: 【 正确】

8、判断题：
‌命题“如果雪是白的，那么1+2=5”是真命题。 ‍‌‍
选项：
A: 正确
B: 错误
答案: 【 错误】

9、判断题：
‎若A：张三和李四都是网红主播，则ØA：张三和李四都不是网红主播。‌‎‌
选项：
A: 正确
B: 错误
答案: 【 错误】

10、判断题：
‎五个基本联结词的运算优先级顺序是：Ø，Ù，Ú，®，« 。​‎​
选项：
A: 正确
B: 错误
答案: 【 正确】

11、判断题：
​基本联结词 “Ù，Ú，«，®” 的运算是可交换的。​​​
选项：
A: 正确
B: 错误
答案: 【 错误】

12、判断题：
‏P«Q为真当且仅当P,Q同为真假。‎‏‎
选项：
A: 正确
B: 错误
答案: 【 正确】

13、判断题：
‌等价联结词“«”是自然语言中的“充分必要条件”、“当且仅当”等的逻辑抽象。‎‌‎
选项：
A: 正确
B: 错误
答案: 【 正确】

14、判断题：
‍(PÚQ)®ØPÚ（R®ØS）不是命题公式。‌‍‌
选项：
A: 正确
B: 错误
答案: 【 错误】

15、判断题：
‍(Q®P)ÙQ®R的一组成假赋值为001。‍‍‍
选项：
A: 正确
B: 错误
答案: 【 错误】

单元测试

1、单选题：
 公式Q→(P∨(P∧Q))可化简为（    ）。‏‍‏
选项：
A: ┐P
B: Q→P
C: P
D: P→Q
答案: 【 Q→P】

2、判断题：
‌若公式G与H等价，则G和H的真值表完全相同。​‌​
选项：
A: 正确
B: 错误
答案: 【 正确】

3、判断题：
‎等值符号“«”描述了两个公式G与H之间的一种逻辑等价关系。‎‎‎
选项：
A: 正确
B: 错误
答案: 【 错误】

4、判断题：