挝勉季沽横公还巍岔屋悍痊零
记菊祷桶募毕淘提劝察存魄浅
设AC为两个命题公式,当且仅当( )为重言式时,称C可由A逻辑地推出。设个体域A={a, b}, 公式 在A上消去量词后应为( )A: B: C: D: 答案:A: B: C: D: 答案:
答案:点击这里查看答案
点击这里,查看离散数学(山东联盟-青岛理工大学) 2024智慧树答案完整版
如需获取更多网课答案,可在浏览器访问我们的网站:http://www.mengmianren.com/
注:请切换至英文输入法输入域名,如果没有成功进入网站,请输入完整域名:http://www.mengmianren.com/
令p:我们划船。 q:我们跑步。命题“我们不能既划船又跑步”符号化为( )。
A:
B:
C:
D:
答案:
下面哪个语句是真命题?
A:如果1+2=3,那么雪是黑的。
B:如果1+2=3,那么雪是白的。
C:严禁吸烟。
D:我只知道一件事,那就是我什么都不知道。
答案: 如果1+2=3,那么雪是白的。
令p:我将去镇上。 q:我有时间。命题“我将去镇上,仅当我有时间”符号化为( )。
A:
B:
C:
D:
答案:
;
n个命题变元可以产生( )个具有不同真值的命题公式。
A:
B:
C:
D:
答案:
命题公式
是( )。
A:重言式
B:不能确定
C:矛盾式
D:非重言式的可满足式
答案: 重言式
下面命题公式中,( )与
等值。
A:
B:
C:
D:
答案:
下面联结词集中,不是联结词完备集的是( )。
A:
B:
C:
D:
答案:
若公式
的主析取范式是
,则其主合取范式是( )。
A:
B:
C:
D:
答案:
设AC为两个命题公式,当且仅当( )为重言式时,称C可由A逻辑地推出。
A:
B:
C:
D:
答案:
下列推理定理中,( )是不正确的。
A:
B:
C:
D:
答案:
设C(x):x是国家足球队选手。G(x):x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为( )。
A:
B:
C:
D:
答案:
设L(x):x是人。 J(x):x是花。 A(x,y):x喜欢y。 命题“有的人喜欢所有的花”符号化为( )。
A:
B:
C:
D:
答案:
中,量词
的辖域是( )。
A:
B:
C:
D:
答案:
设论域为整数集,下列公式中值为真的是( )
A:
B:
C:
D:
答案:
设个体域A={a, b}, 公式
在A上消去量词后应为( )
A:
B:
C:
D:
答案:
下列谓词公式中,( )是等值的。
A:
B:
C:
D:
答案:
下列谓词公式中,是逻辑有效式的是( )。
A:
B:
C:
D:
答案:
下列各式中哪个是正确的?
A:
B:
C:
D:
答案:
下列推理步骤错在( )。①
P②
①US③
P④
③ES⑤
②④假言推理⑥
⑤EG
A:②
B:⑥
C:④
D:⑤
答案: ④
下列推导错在( )。①
P②
①US③
②ES④
③UG
A:无
B:④
C:②
D:③
答案: ③
剖擒峦快镣氓箔复藕惫蔬鹤哆
槐凛飞洁吗放竟纱潞稻睡翁竿