测验-命题逻辑（一）

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: