20春国家开放大学离散数学形考任务5(2)资料参考答案

题目1题干

命题公式的主合取范式是( A )．

A.

B.

C.

D.

题目2题干

谓词公式(x)(A(x)→B(x)∨C(x，y))中的约束变元为（A. x，y都是约束变元

B. x是约束变元，y都是自由变元

C. x，y都是自由变元

B）。

D. x是自由变元，y都是约束变元

题目3题干

前提条件的有效结论是( A )．

A. ┐Q

B. P

C. ┐P

D. Q

题目4题干

表达式中的辖域是( D )．

A.

B.

C.

D.

题目5题干

设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( A )．

A. 1, 0, 0

B. 0, 0, 0

C. 0, 1, 0

D. 0, 0, 1

题目6题干

设个体域为整数集，则公式的解释可为( D )．

A. 存在一整数x对任意整数y满足x+y=0

B. 任一整数x对任意整数y满足x+y=0

C. 存在一整数x有整数y满足x+y=0