【广开搜题】广东开放大学形成性考核_单元测验三_1_1参考答案

yabao · 发表于 2024-4-23 12:19:04

【广开搜题】广东开放大学形成性考核_单元测验三_1_1参考答案

试卷总分:10 得分:10
1.下列公式是前束范式的是（ ? ? ?? ）。
A.{图}
B.{图}
C.{图}
D.{图}
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案
，我们的目标是要做全覆盖、全正确的答案搜索服务。
2.设 P （ x ）： x 是整数， f （ x ）： x 的绝对值， L （ x ， y ）： x 大于等于 y ；命题“所有整数的绝对值大于等于 0 ”可符号化为（? ? ?）。
A.{图}
B.{图}
C.{图}
D.{图}
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

3.指出下列公式中的自由变元和约束变元。
，我们的目标是要做全覆盖、全正确的答案搜索服务。
{图}
A.x是约束变元
B.X既是自由变元，也是约束变元
C.x既不是自由变元，也不是约束变元
D.x是自由变元
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

4.给定解释如下：

（1）个体域D={3,4}

（2）谓词定义为P（3,3）=P（4,4）=0，P（3,4）=P（4,3）=1

计算下列公式在上述解释下的真值。

{图}

?
A.0
B.4
C.1
D.3
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案
5.{图} ?
A.{图}
B.P(x)广开搜题
C.{图}，我们的目标是要做全覆盖、全正确的答案搜索服务。广东开放大学作业答案
D.Q(x)
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案
，我们的目标是要做全覆盖、全正确的答案搜索服务。
6.下列等值式不正确的是（? ? ? ? ? ?）。
A.{图}
B.{图}
C.{图}
D.{图}
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

7.给定解释如下：

（1）个体域D={1，2，3，4，5，6，7，8，9}；
广开形成性考核答案
（2）a指定为5；

（3）P（x）指定为x>0。

计算下列公式在上述解释下的真值。

{图}
A.不能确定
B.1
C.0
D.5
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

8.谓词公式是由原子公式、联结词和量词构成。
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

9.对于全称量词，特性谓词是作为蕴涵式的前件加入。
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

10.在谓词逻辑推理过程中，不能使用命题演算系统中的证明方法和推理规则。
答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

【广开搜题】广东开放大学形成性考核_单元测验三_1_1参考答案

天涯海角也要找到Ni：【广开搜题】广东开放大学形成性考核_单元测验三_1_1参考答案

相关帖子

QQ微信同步：1144766066。

服务

网站

战略合作