潞拘揣碎卜绅美绰骑勉麓椒失
糖去饱申人肩空陈迪啼亩瓢呐
一个公式在等价意义下，下面哪个写法是唯一的 A: D:
答案：点击这里查看答案
点击这里，查看离散数学（山东联盟） 2024智慧树答案完整版
如需获取更多网课答案，可在浏览器访问我们的网站：http://www.mengmianren.com/
注：请切换至英文输入法输入域名，如果没有成功进入网站，请输入完整域名：http://www.mengmianren.com/
A:
B:
C:
D:
答案:
设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为
A:
Q ® P
B:
P ® Q
C:
ØPÚQ
D:
P «Q
答案:
Q ® P
A:
B:
C:
D:
答案:
下列公式是重言式的为
A:
AÙØB«AÚB
B:
PÙQ «ØPÚQ
C:
Ø(PÚQ) «（ØPÙØQ ）
D:
(B®(AÚB)) «(ØAÙ(AÚB))
答案:
Ø(PÚQ) «（ØPÙØQ ）
A:无法确定
B:永真式
C:永假式
D:可满足式
答案: 永真式
下列表述成立的为
A:
ØAÙ (AÚB) ÞB
B:
ØPÙØQÛPÚQ
C:
P ® Q ÞQ
D:
ØB®A Û A®B
答案:
ØAÙ (AÚB) ÞB
下列结论中不正确的是
A:任意两个不同的布尔大项的析取式必为永真式
B:
三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101
C:任意两个不同的布尔小项的析取式必为永真式
D:
三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010
答案: 任意两个不同的布尔小项的析取式必为永真式
A:
B:
C:
D:
答案:
设A，B都是命题公式，则A→B为可满足式是AÞB的
A:
必要而非充分条件
B:
既非充分又非必要条件
C:
充分而非必要条件
D:
充分必要条件
答案:
必要而非充分条件
A:
B:
C:
D:
答案:
一个公式在等价意义下，下面哪个写法是唯一的
A:
主析取范式
B:
合取范式
C:
析取范式
D:
等价公式
答案:
主析取范式
下面4个推理定律中，不正确的是
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
下列语句中哪个是真命题
A:如果疑问句是命题，那么地球将停止转动.
B:我在说假话.
C:如果1+2=3，那么雪是黑的.
D:严禁吸烟！
答案: 如果疑问句是命题，那么地球将停止转动.
A:
5
B:
3
C:
8
D:
0
答案:
5
谓词公式$xA(x) ÙØ $xA(x)的类型是
A:
非永真式的可满足式
B:
无法确定
C:
矛盾式
D:
永真式
答案:
矛盾式
设个体域为整数集，下列公式中其真值为1的是
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
下面给出的一阶逻辑等价式中，错误的是
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:与谓词变元和论述域都无关
B:与谓词变元和论述域都有关
C:与谓词变元有关，与论述域无关
D:与谓词变元无关，与论述域有关
答案: 与谓词变元和论述域都无关
A:
B:
C:
D:
答案:
A:
B:
C:
无法确定
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
对称的
B:
反自反的
C:
传递的
D:
自反的
答案:
反自反的
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
下列关系中等价关系的是
A:
实数之间的小于等于关系
B:
命题公式之间的蕴含关系
C:
n阶方阵之间的相似关系
D:
集合之间的包含关系
答案:
n阶方阵之间的相似关系
A:
B:
C:
D:
答案:
下列命题中结论正确的是
A:
B:
C:
D:
每一个等价关系必为偏序关系
答案:
A:2
B:2
C:
无无2
D:1
答案:
无无2
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
A:
自反闭包
B:
对称闭包
C:无法确定
D:
传递闭包
答案:
对称闭包
下列关系矩阵所对应的关系具有反对称性的是
A:
B:
C:
D:
答案:
惜梨断杏宠另识琳辑怒掇港辑
哩肃祟封慈手氦摩憾年侮悍街