大学MOOC 数理逻辑(西南科技大学)1461814165 最新慕课完整章节测试答案
第一单元命题与命题逻辑符号化
单元测试
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、判断题：
G Û H 描述二者的关系，它的结果不是命题公式。
选项：
A: 正确
B: 错误
答案: 【 正确】
5、判断题：
等价关系(P∧Q)∨(P∧R)Û P∧(Q∨R)是正确的。
选项：
A: 正确
B: 错误
答案: 【 正确】
6、判断题：
等价关系P ∧(P ∨ Q) Û P是正确的。
选项：
A: 正确
B: 错误
答案: 【 正确】
7、判断题：
等价关系 ┐(P∧Q) Û┐P∧┐Q是正确的。
选项：
A: 正确
B: 错误
答案: 【 错误】
8、判断题：
ØQ既是简单析取式也是简单合取式，既是合取范式也是析取范式。&lr