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

【广开搜题】广东开放大学形成性考核_单元测验三_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.在谓词逻辑推理过程中，不能使用命题演算系统中的证明方法和推理规则。

答案:更多参考答案，请关注【广开搜题】微信公众号,发送题目获取答案

渝粤教育