倪挖烤挨芹剐僻讣蔬狡腿懂虽
第一部分 数理逻辑 第一单元测试1
1、 关于
，不正确的是（ ）
答案: q仅当p
2、 p,r真值为1，q,s真值为0，下列公式中真值为1的是（ ）
答案: 
3、 下列式子中，不正确的是（ ）
答案: 
4、 给定F的真值表，则F等值于 （ ） 
答案: 
5、 设个体域为整数集，则下列谓词公式中真值为假的是 （ ）
答案: 
6、 设p,q均为命题，在 ( ) 下，p,q的排斥或也可以写成p,q的相容或.
答案: p,q不同时为真;
等值于1
7、 ”说所有火车比所有汽车快是不对的“符号化为 （ ）
答案: 
其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.;
其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
8、 
的主合取范式为 ( ).
答案: 
;
9、 谓词公式
的前束范式为 ( ).
答案: 
;
;
10、 下列各式中是永真式的是 ( ).
答案: 
;
11、 设A,B,C为任意的命题公式，若
则
.
答案: 错误
12、 
是重言式.
答案: 正确
13、 一个命题公式可以有多个与之等值的析取范式，但其主析取范式唯一.
答案: 正确
14、 
中
的辖域是
,是闭式.
答案: 错误
15、 
在
连续的符号化为
.
答案: 正确
第一部分 数理逻辑 第一单元测试2
1、 设p：我们正在听课，q：我们正在睡觉，则命题“我们不能睡着觉听课”符号化为
答案: 
2、 设个体域D是整数，则下列公式真值为1的是
答案: 
3、 给定命题公式:
与之等值的是
答案: 
4、 设个体域D={a,b}，则公式
消去所有的量词应为
答案: 
5、 下列命题不成立的是
答案: 若
，则
。
6、 公式
的成真赋值为
答案: 
;
7、 设p表示“天下大雨”，q表示“他在室内运动”，将命题“除非天下大雨，否则他不会在室内运动”符号化为
答案: 
;
8、 若命题公式A(p,q,r)的成假赋值为000,010,110，则其主范式为
答案: 
;
9、 下列各选项是
的前束范式的是
答案: 
;
10、 下列公式是永真式的是
答案: 
;
;
11、 “请把门打开！”这句话是命题。
答案: 错误
12、 
是重言式。
答案: 正确
13、 A为重言式当且仅当A的主析取范式不含任何极小项。
答案: 错误
14、 谓词公式
中无任何自由变元，是闭式。
答案: 错误
15、 P(x)是含自由出现的个体变项x的公式，Q不含x的出现，则
。
答案: 错误
上方为免费预览版答案，如需购买完整答案，请点击下方红字
点关注，不迷路，微信扫一扫下方二维码
关注我们的公众号：阿布查查 随时查看答案，网课轻松过
为了方便下次阅读，建议在浏览器添加书签收藏本网页
电脑浏览器添加/查看书签方法
1.按键盘的ctrl键+D键，收藏本页面
2.下次如何查看收藏的网页？
点击浏览器右上角-【工具】或者【收藏夹】查看收藏的网页
手机浏览器添加/查看书签方法
一、百度APP添加/查看书签方法
1.点击底部五角星收藏本网页
2.下次如何查看收藏的网页？
点击右上角【┇】-再点击【收藏中心】查看
二、其他手机浏览器添加/查看书签方法
1.点击【设置】-【添加书签】收藏本网页
2.下次如何查看收藏的网页？
点击【设置】-【书签/历史】查看收藏的网页
豪李雌镭痪促冕颇汝鲍辱朔令