第一章 单元测试
1、单选题：
令p：我们划船。 q：我们跑步。命题“我们不能既划船又跑步”符号化为（ ）。
A:
B:
C:
D:
答案:
2、单选题：
下面哪个语句是真命题？
A:如果1+2=3，那么雪是黑的。
B:如果1+2=3，那么雪是白的。
C:严禁吸烟。
D:我只知道一件事，那就是我什么都不知道。
答案: 如果1+2=3，那么雪是白的。
3、多选题：
令p：我将去镇上。 q：我有时间。命题“我将去镇上，仅当我有时间”符号化为（ ）。
A:
B:
C:
D:
答案: ;
4、单选题：
n个命题变元可以产生（ ）个具有不同真值的命题公式。
A:
B:
C:
D:
答案:
5、单选题：
命题公式
是（ ）。
A:重言式
B:不能确定
C:矛盾式
D:非重言式的可满足式
答案: 重言式
6、单选题：
下面命题公式中，（ ）与
等值。
A:
B:
C:
D:
答案:
7、单选题：
下面联结词集中，不是联结词完备集的是（ ）。
A:
B:
C:
D:
答案:
8、单选题：
若公式
的主析取范式是 
，则其主合取范式是（ ）。
A:
B:
C:
D:
答案:
9、单选题：
设A、C为两个命题公式，当且仅当（ ）为重言式时，称C可由A逻辑地推出。
A:
B:
C:
D:
答案:
10、单选题：
下列推理定理中，（ ）是不正确的。
A:
B:
C:
D:
答案:
第二章 单元测试
1、单选题：
设C(x)：x是国家足球队选手。G(x)：x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为（ ）。
A:
B:
C:
D:
答案:
2、单选题：
设L(x)：x是人。 J(x)：x是花。 A(x,y)：x喜欢y。 命题“有的人喜欢所有的花”符号化为（ ）。
A:
B:
C:
D:
答案:
3、单选题：
谓词公式
中，量词
的辖域是（ ）。
A:
B:
C:
D:
答案:
4、单选题：
设论域为整数集，下列公式中值为真的是（ ）
A:
B:
C:
D:
答案:
5、单选题：
设个体域A={a, b}， 公式
在A上消去量词后应为（ ）
A:
B:
C:
D:
答案:
6、单选题：
下列谓词公式中，( )是等值的。
A:
B:
C:
D:
答案:
7、单选题：
下列谓词公式中，是逻辑有效式的是（ ）。
A:
B:
C:
D:
答案:
8、单选题：
下列各式中哪个是正确的？
A:
B:
C:
D:
答案:
9、单选题：
下列推理步骤错在( )。① 
P②
①US③
P④
③ES⑤
②④假言推理⑥
⑤EG
A:②
B:⑥
C:④
D:⑤
答案: ④
10、单选题：
下列推导错在( )。①
P②
①US③ 
②ES④
③UG
A:无
B:④
C:②
D:③
答案: ③
上方为免费预览版答案，如需购买完整答案，请点击下方红字
点关注，不迷路，微信扫一扫下方二维码
关注我们的公众号：阿布查查 随时查看答案，网课轻松过
为了方便下次阅读，建议在浏览器添加书签收藏本网页
电脑浏览器添加/查看书签方法
1.按键盘的ctrl键+D键，收藏本页面
2.下次如何查看收藏的网页？
点击浏览器右上角-【工具】或者【收藏夹】查看收藏的网页
手机浏览器添加/查看书签方法
一、百度APP添加/查看书签方法
1.点击底部五角星收藏本网页
2.下次如何查看收藏的网页？
点击右上角【┇】-再点击【收藏中心】查看
二、其他手机浏览器添加/查看书签方法
1.点击【设置】-【添加书签】收藏本网页
2.下次如何查看收藏的网页？
点击【设置】-【书签/历史】查看收藏的网页
