2025年高等教育自学考试（普通逻辑·00024）历年参考题库含答案详解.docxVIP

2025年高等教育自学考试（普通逻辑·00024）历年参考题库含答案详解

一、选择题

从给出的选项中选择正确答案（共50题）

1、命题逻辑中，公式(A∧B)∨(?A∨C)的合取范式是（）

A∨B∨?A∨C；(A∨?A)∧(B∨?A∨C)；(A∨?A)∧(B∨C)；(A∨B)∧(?A∨C)

【参考答案】C

【解析】原式先应用分配律展开为(A∨?A∨C)∧(B∨?A∨C)，再简化为(A∨?A)∧(B∨C)，其中(A∨?A)为恒真式，最终合取范式(A∨B)∧(?A∨C)。

2、假言推理肯定前件式的逻辑形式为（）

A→B，A，∴B；A→B，?B，∴?A；A∧B，∴A→B；?A→B，?A，∴B

【参考答案】A

【解析】肯定前件式要求前提包含A→B和A，结论为B。选项A符合此结构，而选项B为否定后件式，选项C和D不满足充分条件推理规则。

3、命题逻辑中，公式P?(Q∧R)的析取范式是（）

(P∧Q)∨(P∧R)；(?P∨?Q)∨(?P∨?R)；(P∨?Q)∧(P∨?R)；(?P∨Q)∧(?P∨R)

【参考答案】B

【解析】原式可转换为?[?(P?Q)∨?(P?R)]，再展开为(?P∨?Q)∨(?P∨?R)，即选项B。

4、根据命题逻辑，公式A→B与B→A的合取(A→B)∧(B→A)等价于（）

A?B；A∨B；A→B→A；A∧B

【参考答案】A

【解析】(A→B)∧(B→A)等价于A?B，即A与B的充分必要条件关系。

5、命题逻辑中，公式?(A∨B)∨(?A∧?B)的真值表结果为（）

恒真式；恒假式；A∧B；?A∨?B

【参考答案】A

【解析】应用德摩根律，?(A∨B)=?A∧?B，原式变为(?A∧?B)∨(?A∧?B)=?A∧?B，但需注意题目选项描述可能存在歧义，正确答案应为恒真式（实际为?A∧?B的析取，但需确认题干逻辑）。

6、命题逻辑中，公式(A→B)∧(B→C)→(A→C)的有效性判断为（）

有效；无效；不确定；恒假

【参考答案】A

【解析】此为假言三段论，前提(A→B)∧(B→C)可推出结论A→C，推理有效。

7、命题逻辑中，公式P∧Q∧R→(P∨?Q)的有效性判断为（）

有效；无效；不确定；恒假

【参考答案】A

【解析】无论P、Q、R取何值，前提P∧Q∧R为真时，P∨?Q必为真（因P为真），故推理有效。

8、命题逻辑中，公式(A∨B)→C的合取范式是（）

(A→C)∧(B→C)；A∨B→C；(?A∨?B)→C；(A∧B)→C

【参考答案】A

【解析】应用蕴含等价式，(A∨B)→C?(A∨B)∨C=(?A∧?B)∨C=?A∨C∧?B∨C=(A→C)∧(B→C)。

9、命题逻辑中，公式?(A→B)的合取范式是（）

A∧?B；?A∨B；A∨?B；?A∧B

【参考答案】A

【解析】?(A→B)=?(?A∨B)=A∧?B，直接应用蕴含式与德摩根律。

10、命题逻辑中，公式(P→Q)∧(Q→R)∧(R→S)→(P→S)的有效性判断为（）

有效；无效；不确定；恒假

【参考答案】A

【解析】此为假言三段论的扩展形式，前提链可推出结论，推理有效。

11、下列命题中属于假言命题的是（）

A.所有学生都完成了作业

B.如果下雨，那么地湿

C.或者去北京，或者去上海

D.这个命题是假的

【参考答案】B

【解析】假言命题结构为“如果A，那么B”，B选项符合此结构。A为全称命题，C为选言命题，D为悖论命题，均不符合假言命题定义。

12、全称命题“所有鸟都会飞”的否定形式是（）

A.没有鸟不会飞

B.存在一个鸟不会飞

C.有些鸟会飞

D所有鸟都不会飞

【参考答案】B

【解析】全称命题“所有S是P”否定为“存在S不是P”。A为全称命题，C为特称命题，D为全称命题的矛盾，B正确。

13、在归纳推理中，完全归纳推理与简单枚举推理的主要区别在于（）

A.是否考察事物全部

B.是否有科学理论支持

C.是否有因果联系

D.是否需要演绎推理

【参考答案】A

【解析】完全归纳推理考察所有对象（如某班级所有学生成绩），简单枚举仅考察部分对象（如多次实验结果）。B、C、D为其他推理特征。

14、下列公式中，属于逻辑重言式的是（）

A.P→P

B.P∧?P

C.P∨?P

D.P→Q

【参考答案】A、C

【解析】重言式为真值恒真公式。A（自反律）、C（矛盾律）恒真，B为矛盾式，D依赖P、Q关系。

15、在谓词逻辑中，“所有学生都是学习者”可符号化为（

A.?x(S(x)→L(x))

B.?x(S(x)∧L(x))

C?x(S(x)∧L(x))

D.?x(S(x)→L(x))

【参考答案】A

【解析】全称量词后接蕴含式，表示“如果某