自考数学逻辑真题及答案2025.docVIP

自考数学逻辑真题及答案2025

一、单项选择题（每题2分，共10题）

1.下列哪个命题是永真的？

A.如果今天是星期一，那么明天是星期三。

B.如果今天是星期一，那么明天是星期二。

C.如果今天是星期一，那么明天是星期一。

D.如果今天是星期二，那么明天是星期三。

答案：B

2.下列哪个命题是可满足的？

A.\(p\land\negp\)

B.\(p\lor\negp\)

C.\(\neg(p\lorq)\)

D.\(\negp\land\negq\)

答案：B

3.下列哪个是有效的推理形式？

A.\(p\rightarrowq,\negq\rightarrow\negp\)

B.\(p\rightarrowq,q\rightarrowr\)

C.\(p\rightarrowq,\negp\rightarrowq\)

D.\(p\rightarrowq,\negq\rightarrowp\)

答案：B

4.下列哪个是逻辑等价式？

A.\(p\land(q\lorr)\)和\((p\landq)\lor(p\landr)\)

B.\(p\rightarrowq\)和\(\negq\rightarrow\negp\)

C.\(p\lorq\)和\(\negp\rightarrowq\)

D.\(p\landq\)和\(q\landp\)

答案：A

5.下列哪个是正确的量化公式？

A.\(\forallx\existsy(x+y=0)\)

B.\(\existsx\forally(x+y=0)\)

C.\(\forallx\forally(x+y=y+x)\)

D.\(\existsx\existsy(x+y=0)\)

答案：C

6.下列哪个是正确的谓词逻辑公式？

A.\(\forallx(P(x)\rightarrowQ(x))\)

B.\(\existsx(P(x)\landQ(x))\)

C.\(\forallx(P(x)\lorQ(x))\)

D.\(\existsx(P(x)\rightarrowQ(x))\)

答案：A

7.下列哪个是正确的命题逻辑公式？

A.\(p\land(q\lorr)\)

B.\(p\rightarrow(q\landr)\)

C.\(p\lor(q\landr)\)

D.\(p\land(q\landr)\)

答案：B

8.下列哪个是正确的命题逻辑推理？

A.\(p\rightarrowq,q\rightarrowr\rightarrowp\)

B.\(p\rightarrowq,\negq\rightarrow\negp\)

C.\(p\rightarrowq,\negp\rightarrowq\)

D.\(p\rightarrowq,\negq\rightarrowp\)

答案：B

9.下列哪个是正确的量化公式？

A.\(\forallx\existsy(P(x)\landQ(y))\)

B.\(\existsx\forally(P(x)\lorQ(y))\)

C.\(\forallx\forally(P(x)\landQ(y))\)

D.\(\existsx\existsy(P(x)\landQ(y))\)

答案：C

10.下列哪个是正确的谓词逻辑公式？

A.\(\forallx(P(x)\rightarrowQ(x))\)

B.\(\existsx(P(x)\landQ(x))\)

C.\(\forallx(P(x)\lorQ(x))\)

D.\(\existsx(P(x)\rightarrowQ(x))\)

答案：A

二、多项选择题（每题2分，共10题）

1.下列哪些是永真的命题？

A.\(p\lor\negp\)

B.\(p\land\negp\)

C.\(\neg(p\land\negp)\)

D.\(p\rightarrowp\)

答案：A,C,D

2.下列哪些是可满足