MOOC 数理逻辑(首都师范大学)1002031007 最新慕课完整章节测试答案

第二章测试练习

1、单选题：
‍下面哪一组命题公式是等值的(     )‏
选项：
A: ┐P∧┐Q， P∨Q
B: A→(B→A),  ┐A→(A→┐B)
C: Q→(P∨Q),  ┐Q∧(P∨Q)
D: ┐A∨(A∧B),  B
答案: 【 A→(B→A),  ┐A→(A→┐B)】

2、单选题：
‎P→Q的等值式是(     )‍
选项：
A: Q→┐P
B: P→┐Q
C: Q→┐P
D: ┐Q→┐P
答案: 【 ┐Q→┐P】

3、单选题：
‌下列命题联结词集合中，哪个是全功能联结词组(     )‌
选项：
A: ｛┐,↔ ｝
B: ｛┐,∨;∧｝
C: ｛↑｝
D: ｛∧, →｝
答案: 【 ｛↑｝】

4、单选题：
‌下面哪一个命题是假命题(     )‎
选项：
A: 如果2是偶数，那么一个公式的析取范式唯一
B: 如果2是偶数，那么一个公式的析取范式不唯一
C: 如果2是奇数，那么一个公式的析取范式唯一
D: 如果2是奇数，那么一个公式的析取范式不唯一
答案: 【 如果2是偶数，那么一个公式的析取范式唯一】

5、单选题：
‎合式公式P→ (Q↓P)是(     )‎
选项：
A: 重言式
B: 可满足式
C: 矛盾式
D: 等值式
答案: 【 可满足式】

6、单选题：
‎给定命题公式A、B，若(      ),则称A和B是逻辑等值的，记为AÛB​
选项：
A: A→B为重言式
B: A↔B不为矛盾式
C: A↔B为重言式
D: A→B不为矛盾式
答案: 【 A↔B为重言式】

7、单选题：

‎假设A公式有n个命题变项，则个全体极大项的合取、个全体极小项的析取式必为(      )

​选项：
A: 永真式、永真式
B: 永假式、永假式
C: 永真式、永假式
D: 永假式、永真式
答案: 【 永假式、永真式】

8、单选题：
‏命题公式┐(P→Q)的主析取范式为(     )，主合取范式的编码表示为(     )​
选项：
A: P∧┐Q；    ∧∧
B: ┐P∧Q；    ∧∧
C: P∧Q；       ∧∧
D:  ┐P∧┐Q；  ∧∧
答案: 【