大学MOOC 离散数学(华南理工大学)1206350803 最新慕课完整章节测试答案
第一讲命题逻辑(一)
测验-命题逻辑一
1、单选题：
令P：今天晚上我在家看书，Q：今天晚上我去电影院看电影。则命题“今天晚上我在家看书或去电影院看电影。”可以符号化为：（ ）
选项：
A: 
B: 
C: 
D: 
答案: 【 】
2、单选题：
下列命题公式不是永真式的是（ ）
选项：
A: 
B: 
C: 
D: 
答案: 【 】
3、单选题：
选项：
A: 
B: 
C: 
D: 
答案: 【 】
4、多选题：
若p：今天天气好；q：他去爬山；则“如果今天天气不好，他不去爬山”，可符号化为( )
选项：
A: 
B: 
C: 
D: 
答案: 【 ;】
5、多选题：
下列各命题中真值为假的命题有（ ）
选项：
A: 2+2=4当且仅当3是奇数
B: 2+2=4当且仅当3不是奇数
C: 2+2≠4当且仅当3是奇数
D: 2+2≠4当且仅当3不是奇数
答案: 【 2+2=4当且仅当3不是奇数;
2+2≠4当且仅当3是奇数】
6、多选题：
命题公式
的成真赋值为（ ）
选项：
A: 00
B: 01
C: 10
D: 11
答案: 【 00;
01;
10】
第二讲命题逻辑(二
测验-命题逻辑二
1、单选题：
下面哪一个命题是假命题？
选项：
A: 如果2是偶数，那么一个公式的析取范式唯一
B: 如果2是偶数，那么一个公式的析取范式不唯一
C: 如果2是奇数，那么一个公式的析取范式唯一
D: 如果2是奇数，那么一个公式的析取范式不唯一
答案: 【 如果2是偶数，那么一个公式的析取范式唯一】
2、单选题：
命题公式
的主析取范式中的极小项的个数为?
选项：
A: 0
B: 1
C: 2
D: 3
答案: 【 3】
3、单选题：
称由前提 
推出结论
的推理正确，则
应为下列4个中哪一个？
选项：
A: 重言式或可满足式
B: 矛盾式
C: 可满足式
D: 重言式
答案: 【 重言式】
4、多选题：
的合取范式为?
选项：
A: 
B: 
C: 
D: 
答案: 【 ;】
5、多选题：
下列哪些公式为永真蕴含式?
选项：
A: 
B: 
C: 
D: 
答案: 【 ;】
6、多选题：
对于前提：
，
，
，
，其有效结论为?
选项：
A: 
B: 
C: 
D: 
答案: 【 ;】
第三讲谓词逻辑(一)
测验-谓词逻辑一
1、单选题：
命题“有的学生不踢足球”的逻辑符号化表示为?设D：全总个体域，F(x)：x是足球，M(x) ：x是学生，H(x,y)：x不踢y
选项：
A: 
B: 
C: 
D: 
答案: 【 】
2、单选题：
“不是每一个实数都是有理数”的逻辑符号化为? 设R(x):x是实数,Q(x):x是有理数。
选项：
A: 
B: 
C: 
D: 
答案: 【 】
3、单选题：
公式
可换名为（ ），使其无既是约束出现又是自由出现的变量，且变量不同时被不同量词约束。
选项：
A: 
B: 
C: