桐嘘彻澳炔楞艰逻惠鞋办葛武
第一部分 数理逻辑 第一单元测试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.下次如何查看收藏的网页?
点击【设置】-【书签/历史】查看收藏的网页
甜迫境胶睹太衫斥恋鲸般浚晒