作业1

1、单选题：
‌令P：今天晚上我在家看书，Q：今天晚上我去电影院看电影。则命题“今天晚上我在家看书或去电影院看电影。”可以符号化为：?‍
选项：
A:
B:
C:
D:
答案: 【 】

2、单选题：
‎下列命题公式不是永真式的是（  ）‌
选项：
A:
B:
C:
D:
答案: 【 】

3、单选题：
‌下列式子为矛盾式的是？‍
选项：
A:
B:
C:
D:
答案: 【 】

4、单选题：
​下面哪一组命题公式不是等值的?‍
选项：
A:
B:
C:
D:
答案: 【 】

5、单选题：

‌？

​选项：
A:
B:
C:
D:
答案: 【 】

6、多选题：
‍下列语句是命题的有？‌
选项：
A: 明年中秋节的晚上是晴天；
B:
C: xy>0,当且仅当x和y都大于0
D: 我正在说谎
答案: 【 明年中秋节的晚上是晴天；;
xy>0,当且仅当x和y都大于0】

7、多选题：
​若p：今天天气好；q：他去爬山；则“如果今天天气不好，他不去爬山”，可符号化为() ？‏
选项：
A:
B:
C:
D:
答案: 【 ;
】

8、多选题：
‏下列各命题中真值为真的命题有?‏
选项：
A: 如果太阳从西边出来，那么地球自转
B: 如果地球自转，那么太阳从西边出来
C: 如果太阳从东边出来，那么地球自转 
D: 如果地球自转，那么太阳从东边出来
答案: 【 如果太阳从西边出来，那么地球自转;
如果太阳从东边出来，那么地球自转 ;
如果地球自转，那么太阳从东边出来】

9、多选题：
‏下列各命题中真值为假的命题有？‍
选项：
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是奇数】

10、多选题：

‍命题公式 的成真赋值为?

​选项：
A: 00
B: 01
C: 10
D: 11
答案: 【 00;
01;
10】

作业2

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: